Results 171 to 180 of about 34,259 (189)

Combining Higher-Order Logic with Set Theory Formalizations

Journal of Automated Reasoning, 2023
Karol Pak, Cezary Kaliszyk, Kaliszyk Cezary   +2 more
exaly  

Material Dialogues for First-Order Logic in Constructive Type Theory

Lecture Notes in Computer Science, 2022
Dominik Wehr, Dominik Kirst, Kirst Dominik   +2 more
exaly  

Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 (1968), S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria (Lund), Bd. 33 (1967), S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 (1967), S. 399–410.

Journal of Symbolic Logic, 1974
openaire   +1 more source

Boolean algebras with a category theory in a weak second order logic

Algebra and Logic, 1971
E A Palyutin, Palyutin E A
exaly  

First-Order Modal Logic and a First-Order Theory of Propositions

2023
exaly  

The Ackermann approach for modal logic, correspondence theory and second-order reduction

Journal of Applied Logic, 2012
Renate Schmidt
exaly  

A semantic study of the first-order predicate logic with uncertainty involved

Fuzzy Optimization and Decision Making, 2014
, Xingfang Zhang
exaly  

Translating dependent type theory into higher order logic

2005
Tom Melham
exaly  

Extensionalizing Intensional Second-Order Logic

Notre Dame Journal of Formal Logic, 2015
Jonathan Payne
exaly  

Elements of model theory in higher-order fuzzy logic

Fuzzy Sets and Systems, 2012
Vilém Novak
exaly