Results 181 to 189 of about 34,259 (189)

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, Scott Dana S
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  

An algorithm for computing theory prime implicates in first order logic

International Journal of Information and Communication Technology, 2007
exaly  

First-order logic axiomatization of metric graph theory

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

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

Satoshi Nakata, Yoshihiro Maruyama, Arisa Yasuda   +2 more
exaly  

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

A Saoudi
exaly