Search Results - "Predicate calculus"

MACHINE SPACE I: WEAK EXPONENTIALS AND QUANTIFICATION OVER COMPACT SPACES.

Authors: FAUL, PETER F. MANUELL, GRAHAM

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-21, 21p

A simple continuous theory.

Authors: Hanson, James E.¹ (AUTHOR) jameseh@iastate.edu

Source: Journal of Mathematical Logic. Apr2026, Vol. 26 Issue 1, p1-33. 33p.

UNIVERSAL QUANTIFICATION MAKES AUTOMATIC STRUCTURES HARD TO DECIDE.

Authors: HAASE, CHRISTOPH PIÓRKOWSKI, RADOSŁAW

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p14:1-14:24, 24p

INTERPRETATION OF INACCESSIBLE SETS IN MARTIN-LÖF TYPE THEORY WITH ONE MAHLO UNIVERSE.

Authors: TAKAHASHI, YUTA¹, y.takahashi@aomori-u.ac.jp

Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 4, p16:1-16:34, 34p

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates.

Authors: Echenim, Mnacho Peltier, Nicolas

Source: Fundamenta Informaticae; 2025, Vol. 194 Issue 1, p1-57, 57p

A multiplicative ingredient for ω-inconsistency.

Authors: Fjellstad, Andreas¹

Source: Australasian Journal of Logic. 2025, Vol. 22 Issue 3, p289-307. 19p.

A fundamental completeness theorem for bivalent free logics.

Authors: Kupffer, Manfred¹

Source: Logic Journal of the IGPL; Jun2026, Vol. 34 Issue 3, p1-20, 20p

A METRIC SET THEORY WITH A UNIVERSAL SET.

Authors: HANSON, JAMES E.¹, jameseh@iastate.edu

Source: Journal of Symbolic Logic; Mar2026, Vol. 91 Issue 1, p129-174, 46p

Paradoxes versus Contradictions in Logic of Sentential Operators.

Authors: Walicki, Michał¹, Michal.Walicki@uib.no

Source: Logic & Logical Philosophy; Dec2025, Vol. 34 Issue 4, p631-674, 44p

Logical reduction of relations: From relational databases to Peirce's reduction thesis.

Authors: Koshkin, Sergiy¹ (AUTHOR) koshkins@uhd.edu

Source: Logic Journal of the IGPL. Oct2024, Vol. 32 Issue 5, p779-809. 31p.

Styling Imagery of Self-Propelled Harvester Based on Kansei Engineering.

Authors: Sha Liu Xiaohan Guo Yi Liu et al.

Source: Traitement du Signal. Oct2024, Vol. 41 Issue 5, p2693-2699. 7p.

Proposal and Verification of the Application of an Expert Inference Method to Present the Probability of Lithium-Ion Battery Thermal Runaway Risk.

Authors: Shon, Jong Won Choi, Donmook Lee, Hyunjae et al.

Source: Energies (19961073). Jun2024, Vol. 17 Issue 11, p2566. 15p.

Subjects: Thermal batteries, Predicate calculus, Probability theory, Lithium-ion batteries

Introduction to the special issue ‘Truth and Quantification into Sentence Position’.

Authors: De Rizzo, Julio Kölbel, Max

Source: Inquiry. Oct2025, p1-5. 5p.

Binary quantification and dataset shift: an experimental investigation.

Authors: González, Pablo Moreo, Alejandro Sebastiani, Fabrizio

Source: Data Mining & Knowledge Discovery; Jul2024, Vol. 38 Issue 4, p1670-1712, 43p

Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics.

Authors: BIENVENU, MEGHYN BOURGAU, CAMILLE KOZHEMIACHENKO, DANIIL

Source: Journal of Artificial Intelligence Research; 2026, Vol. 85, p1-32, 32p

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality.

Authors: COUMES, SIMON PARIS, PIERRE-HENRI SCHWARZENTRUBER, FRANÇOIS et al.

Source: Journal of Artificial Intelligence Research; 2026, Vol. 85, p1-35, 35p

Certainty in Formalising SMT-LIB for Strings in Isabelle.

Authors: Lotz, Kevin Kulczynski, Mitja Nowotka, Dirk et al.

Source: International Journal of Foundations of Computer Science; Jan2026, Vol. 37 Issue 1, p47-71, 25p

Quantifiers in connexive logic (in general and in particular).

Authors: Wansing, Heinrich Weber, Zach

Source: Logic Journal of the IGPL; Dec2025, Vol. 33 Issue 6, p1-22, 22p

Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants.

Authors: Perini Brogi, Cosimo Maggesi, Marco

Source: International Journal on Software Tools for Technology Transfer; Dec2025, Vol. 27 Issue 6, p623-640, 18p

A unified semantics for distributive and non-distributive universal quantifiers across languages.

Authors: Haslinger, Nina Hien, Alain Noindonmon Rosina, Emil Eva et al.

Source: Natural Language & Linguistic Theory; Nov2025, Vol. 43 Issue 4, p3147-3214, 68p