Results 211 to 220 of about 25,852,401 (225)

Modal Deduction in Second-Order Logic and Set Theory - II

Studia Logica, 1998
Alberto Policriti, Angelo Montanari, Johan van Benthem   +2 more
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  

Elements of model theory in higher-order fuzzy logic

Fuzzy Sets and Systems, 2012
Vilém Novák
exaly  

Generalized finite automata theory with an application to a decision problem of second-order logic

Mathematical Systems Theory, 1968
J W Thatcher
exaly  

Translating dependent type theory into higher order logic

Lecture Notes in Computer Science, 2005
exaly  

Access Suspended

Notre Dame Journal of Formal Logic, 2015
Jonathan Payne
exaly  

Supra-logic: using transfinite type theory with type variables for paraconsistency

Journal of Applied Non-Classical Logics, 2005
Jørgen Villadsen
exaly  

Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic

Journal of Philosophical Logic, 2014
Marcus Rossberg
exaly  

Mechanizing CSP trace theory in higher order logic

IEEE Transactions on Software Engineering, 1990
exaly