Results 51 to 60 of about 862,810 (224)
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
, 2004 Daniel Cabeza +2 more
openalex +2 more sources
Some metalogical properties for infinitary predicate topological logic [PDF]
, 2013 Tarek Sayed Ahmed
openalex +1 more source
The Semantics of Predicate Logic as a Programming Language
JACM, 1976 M. H. Emden, R. Kowalski
semanticscholar +1 more source
Metaphysical Modality, Modality of Predicate and the Theory of "Decisive Necessity”
Metaphysics, 2010 Aristotle in the Organon (1949: 9,30 a ,15-19) explicitly states that in a categorical syllogism when the minor premise is absolute (without modality operator) and the major is necessary, the conclusion will be necessary too.
L. Nabavi
doaj
The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. II. [PDF]
, 1993 M. Makkai
openalex +1 more source
Definability theorem for the intuitionistic predicate logic with equality [PDF]
, 1982 Chiharu Mizutani
openalex +1 more source
Contributions to the compositional semantics of first-order predicate logic [PDF]
, 2015 Philip Kelly, M. H. van Emden
openalex +1 more source
Automata theory approach to predicate intuitionistic logic [PDF]
, 2021 Maciej Zielenkiewicz, Konrad Zdanowski
openalex +1 more source
Predicate logic as a modeling language: the IDP system
Declarative Logic Programming, 2018 Broes De Cat +4 more
semanticscholar +1 more source