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
(40)- scientific article; zbMATH DE number 956466 (Why is no real title available?)
- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
- Semantical approach to cut elimination and subformula property in modal logic
- Non locality proofs in quantum mechanics analyzed by ordinary mathematical logic
- Fuzzy logics from substructural perspective
- Algebraic proof theory for substructural logics: cut-elimination and completions
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
- Proof theory for Lax Logic
- scientific article; zbMATH DE number 49299 (Why is no real title available?)
- From QBFs to \textsf{MALL} and back via focussing
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Evidence algorithm and inference search in first-order logics
- Algebraic proof theory for LE-logics
- Introspection, normality and agglomeration
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Logics for knowability paradox with a non-normal possibility operator
- scientific article; zbMATH DE number 1554267 (Why is no real title available?)
- Interpolation via translations
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- The works of Hugh MacColl and the origins of nonclassical logic
- Universal proof theory: semi-analytic rules and Craig interpolation
- Computing interpolants in implicational logics
- Sequent calculi for global modal consequence relations
- \(\mathbf R\) and relevance principle revisited
- Amalgamation and interpolation in ordered algebras.
- Proof theory. Sequent calculi and related formalisms
- Verification of the logical sequence in nonclassical multivalued logic
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Analytic cut and interpolation for bi-intuitionistic logic
- On three implication-less fragments of t-norm based fuzzy logics
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
- Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras
- Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
- On two fragments with negation and without implication of the logic of residuated lattices
- scientific article; zbMATH DE number 7243672 (Why is no real title available?)
- scientific article; zbMATH DE number 1386139 (Why is no real title available?)
- Representable idempotent commutative residuated lattices
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)
