scientific article; zbMATH DE number 1361537
From MaRDI portal
Publication:4699355
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Recommendations
Cited in
(44)- From QBFs to \textsf{MALL} and back via focussing
- Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- scientific article; zbMATH DE number 7243672 (Why is no real title available?)
- Algebraic proof theory for substructural logics: cut-elimination and completions
- scientific article; zbMATH DE number 1386139 (Why is no real title available?)
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
- On three implication-less fragments of t-norm based fuzzy logics
- Evidence algorithm and inference search in first-order logics
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Introspection, normality and agglomeration
- Logics for knowability paradox with a non-normal possibility operator
- Kripke-completeness and sequent calculus for quasi-Boolean modal logic
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Proof theory for Lax Logic
- Universal proof theory: semi-analytic rules and Craig interpolation
- Sequent calculi for global modal consequence relations
- Computing interpolants in implicational logics
- Representable idempotent commutative residuated lattices
- Non locality proofs in quantum mechanics analyzed by ordinary mathematical logic
- Semantical approach to cut elimination and subformula property in modal logic
- Fuzzy logics from substructural perspective
- An agda formalization of nonassociative Lambek calculus and its metatheory
- scientific article; zbMATH DE number 956466 (Why is no real title available?)
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
- scientific article; zbMATH DE number 49299 (Why is no real title available?)
- Craig interpolation for awareness logics
- Amalgamation and interpolation in ordered algebras.
- Algebraic proof theory for LE-logics
- Interpolation via translations
- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
- Verification of the logical sequence in nonclassical multivalued logic
- Analytic cut and interpolation for bi-intuitionistic logic
- The works of Hugh MacColl and the origins of nonclassical logic
- Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras
- SCI-sequent calculi, cut elimination and interpolation property
- On two fragments with negation and without implication of the logic of residuated lattices
- R and relevance principle revisited
- scientific article; zbMATH DE number 1554267 (Why is no real title available?)
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Proof theory. Sequent calculi and related formalisms
- A Survey of the Proof-Theoretic Foundations of Logic Programming
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4699355)
