Results 221 to 230 of about 37,011 (230)

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  

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

Journal of Philosophical Logic, 2014
Marcus Rossberg
exaly  

Automating Free Logic in HOL, with an Experimental Application in Category Theory

Journal of Automated Reasoning, 2019
Christoph Benzmüller, Dana S Scott, Scott Dana S   +2 more
exaly  

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

Mathematical Systems Theory, 1968
J W Thatcher
exaly  

Intensional Logic— Beyond First Order

Trends in Logic, 2003
Melvin Fitting, Fitting Melvin
exaly  

Mechanizing CSP trace theory in higher order logic

IEEE Transactions on Software Engineering, 1990
exaly  

First-order logic axiomatization of metric graph theory

Theoretical Computer Science
Jeremie Chalopin, Manoj Changat, VÍCTOR Chepoi   +2 more
exaly  

Tripos and Topos Theory for Fuzzy Logic: Baaz Δ Translation as Lawvere-Tierney Cotopology and Higher-Order Hyperdoctrinal Completion

Yoshihiro Maruyama, Satoshi Nakata
exaly  

On the decidability of linear Z-temporal logic and the monadic second order theory of the integers

A Saoudi
exaly