Results 261 to 270 of about 28,341 (293)
Some of the next articles are maybe not open access.
2021
Considers the methodology and techniques of sequent calculus to illustrate its use in proving a wide range of metatheoretical results Includes many results and their proofs that are often not well known or easily accessible Examines important and nonstandard generalized sequent calculi, like hypersequent and structured sequent
openaire +2 more sources
Considers the methodology and techniques of sequent calculus to illustrate its use in proving a wide range of metatheoretical results Includes many results and their proofs that are often not well known or easily accessible Examines important and nonstandard generalized sequent calculi, like hypersequent and structured sequent
openaire +2 more sources
Linear Nested Sequents, 2-Sequents and Hypersequents
2015We introduce the framework of linear nested sequent calculi by restricting nested sequents to linear structures. We show the close connection between this framework and that of 2-sequents, and provide linear nested sequent calculi for a number of modal logics as well as for intuitionistic logic.
openaire +1 more source
ACM Transactions on Computational Logic, 2019
Analyticity, also known as the subformula property, typically guarantees decidability of derivability in propositional sequent calculi. To utilize this fact, two substantial gaps have to be addressed: (i) What makes a sequent calculus analytic?
Ori Lahav, Yoni Zohar
openaire +1 more source
Analyticity, also known as the subformula property, typically guarantees decidability of derivability in propositional sequent calculi. To utilize this fact, two substantial gaps have to be addressed: (i) What makes a sequent calculus analytic?
Ori Lahav, Yoni Zohar
openaire +1 more source
1994
In Chapter I we discussed the way a mathematician proceeds to develop a particular mathematical theory: In order to obtain an overview of the theory, he tries to find out which propositions follow from its axioms. To show that a proposition follows from the axioms, he supplies a proof.
Heinz-Dieter Ebbinghaus +2 more
openaire +1 more source
In Chapter I we discussed the way a mathematician proceeds to develop a particular mathematical theory: In order to obtain an overview of the theory, he tries to find out which propositions follow from its axioms. To show that a proposition follows from the axioms, he supplies a proof.
Heinz-Dieter Ebbinghaus +2 more
openaire +1 more source
... pro vacante professione rhetorica speciminis loco eruditorum examini submittit M. Iohan. Tonjola coetus italici qui Basil. colligitur minister respondente ornatissimo iuvene Davide Bazino Rossiniensi ad d. ... Ian. 1669.
openaire +2 more sources
openaire +2 more sources
ACM SIGART Bulletin, 1991
This paper describes a general theoretical framework for constructing intelligent knowledge bases. The framework arises from the desire to construct powerful and efficient systems. Powerful in the sense that they drawn "deep" conclusions from the knowledge base, and efficient in that they give quick responses.
openaire +1 more source
This paper describes a general theoretical framework for constructing intelligent knowledge bases. The framework arises from the desire to construct powerful and efficient systems. Powerful in the sense that they drawn "deep" conclusions from the knowledge base, and efficient in that they give quick responses.
openaire +1 more source
1997
Abstract Let us think, in a general way, about what happens in a natural deduction proof. As a whole the proof is an array of formulae, which we say establishes some sequent (namely the sequent which has on its left all the formulae which are undischarged assumptions in the proof, and on its right the single formula proved at the bottom ...
openaire +1 more source
Abstract Let us think, in a general way, about what happens in a natural deduction proof. As a whole the proof is an array of formulae, which we say establishes some sequent (namely the sequent which has on its left all the formulae which are undischarged assumptions in the proof, and on its right the single formula proved at the bottom ...
openaire +1 more source