Results 291 to 300 of about 4,158,085 (300)

The Natural Deduction Systems for the Three-Valued Nonsense Logics Z and E

, 2018
Y. Petrukhin
semanticscholar   +1 more source

Deriving Natural Deduction Rules from Truth Tables

Indian Conference on Logic and Its Applications, 2017
H. Geuvers, Tonny Hurkens
semanticscholar   +1 more source

Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics

Logica Universalis, 2017
Y. Petrukhin
semanticscholar   +1 more source

Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic

Journal of automated reasoning, 2017
Mauro Ferrari, Camillo Fiorentini
semanticscholar   +1 more source

Proof Terms for Generalized Natural Deduction

Types for Proofs and Programs, 2017
H. Geuvers, Tonny Hurkens
semanticscholar   +1 more source

Variants of Gödel’s Ontological Proof in a Natural Deduction Calculus

Studia Logica: An International Journal for Symbolic Logic, 2017
Annika Kanckos, B. W. Paleo
semanticscholar   +1 more source

Natural Deduction for Modal Logic of Judgment Aggregation

Journal of Logic, Language and Information, 2016
Tin Perkov
semanticscholar   +1 more source

Types as Resources for Classical Natural Deduction

International Conference on Formal Structures for Computation and Deduction, 2017
D. Kesner, Pierre Vial
semanticscholar   +1 more source

Natural deduction system for three-valued Heyting’s logic

, 2017
Y. Petrukhin
semanticscholar   +1 more source

Solving MaxSAT with Natural Deduction

International Conference of the Catalan Association for Artificial Intelligence, 2017
Joan Casas-Roma, Antonia Huertas, F. Manyà   +2 more
semanticscholar   +1 more source