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