scientific article; zbMATH DE number 1361537
zbMATH Open0947.03073MaRDI QIDQ4699355FDOQ4699355
Authors: Hiroakira Ono 
Publication date: 7 November 2000
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (40)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic proof theory for substructural logics: cut-elimination and completions
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
- On three implication-less fragments of t-norm based fuzzy logics
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
- Evidence algorithm and inference search in first-order logics
- 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
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
- Proof theory for Lax Logic
- Universal proof theory: semi-analytic rules and Craig interpolation
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Computing interpolants in implicational logics
- Sequent calculi for global modal consequence relations
- Representable idempotent commutative residuated lattices
- 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
- Title not available (Why is that?)
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
- Title not available (Why is that?)
- Algebraic proof theory for LE-logics
- Amalgamation and interpolation in ordered algebras.
- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
- Interpolation via translations
- Verification of the logical sequence in nonclassical multivalued logic
- Analytic cut and interpolation for bi-intuitionistic logic
- Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras
- The works of Hugh MacColl and the origins of nonclassical logic
- On two fragments with negation and without implication of the logic of residuated lattices
- \(\mathbf R\) and relevance principle revisited
- Title not available (Why is that?)
- 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)
