Results 281 to 290 of about 32,356 (302)

On Translation of Finitely-Valued Logics to Classical First-Order Logic.

1998
The main goal of this paper is to give a better understanding of existing many-valued resolution procedures, and thus help to improve the efficiency of automated theorem proving in finitely-valued logics. First, we briefly present a method for translation to clause form in finitely-valued logics based on distributive lattices with operators, which uses
openaire   +1 more source

Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic

2000
We define a sound and complete logic, called \({\cal FO}^{\supset}\), which extends classical first-order predicate logic with intuitionistic implication.
openaire   +1 more source

Falsification-Aware Semantics and Sequent Calculi for Classical Logic

Journal of Philosophical Logic, 2021
Norihiro Kamide, Kamide Norihiro
exaly  

First-Order Classical Logic

1997
Jean Goubault-Larrecq, Ian Mackie
openaire   +1 more source

Embedding and automating conditional logics in classical higher-order logic

Annals of Mathematics and Artificial Intelligence, 2012
Christoph Benzmüller, Dov Gabbay, Valerio Genovese   +2 more
exaly  

On natural deduction in classical first-order logic: Curry–Howard correspondence, strong normalization and Herbrand's theorem

Theoretical Computer Science, 2016
Federico Aschieri, Margherita Zorzi
exaly  

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

Fuzzy Optimization and Decision Making, 2014
Xingfang Zhang
exaly  

Classical Systems of First-Order Modal Logic

Studia Logica, 2006
Pacuit, E.J., Arlo-Costa, H.
openaire   +1 more source

Classical Logic and the Strict Tolerant Hierarchy

Journal of Philosophical Logic, 2019
Chris Scambler
exaly  

Probabilistic reasoning in a classical logic

Journal of Applied Logic, 2009
exaly