An ecumenical notion of entailment
Sign Up to like & getrecommendations! Published in 2019 at "Synthese"
DOI: 10.1007/s11229-019-02226-5
Abstract: Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single… read more here.
Keywords: system; ecumenical notion; notion entailment; notion ... See more keywords
A representation of proper BC domains based on conjunctive sequent calculi
Sign Up to like & getrecommendations! Published in 2019 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s096012951900015x
Abstract: Abstract We build a logical system named a conjunctive sequent calculus which is a conjunctive fragment of the classical propositional sequent calculus in the sense of proof theory. We prove that a special class of… read more here.
Keywords: sequent; sequent calculus; proper domains; sequent calculi ... See more keywords
Free Definite Description Theory – Sequent Calculi and Cut Elimination
Sign Up to like & getrecommendations! Published in 2020 at "Logic and Logical Philosophy"
DOI: 10.12775/llp.2020.020
Abstract: We provide an application of a sequent calculus framework to the formalization of definite descriptions. It is a continuation of research undertaken in [20, 22]. In the present paper a so-called free description theory is… read more here.
Keywords: cut elimination; description theory; sequent;