A constructive analysis of RM
From MaRDI portal
Publication:3781069
DOI10.2307/2273828zbMath0639.03017OpenAlexW1990470938MaRDI QIDQ3781069
Publication date: 1987
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273828
relevant logichypersequentsGentzen systemmingle axiomprimitive recursive procedureRMSugihara matrixR-mingleCut Theorem
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Other constructive mathematics (03F65)
Related Items
Power and Limits of Structural Display Rules, Basing sequent systems on exclusive-or, Natural 3-valued logics—characterization and proof theory, Hypersequents, logical consequence and intermediate logics for concurrency, Relevance and paraconsistency—a new approach, Normal forms for fuzzy logics: a proof-theoretic approach, Fuzzy logics based on \([0,1)\)-continuous uninorms, LINEAR TIME IN HYPERSEQUENT FRAMEWORK, A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts, The taming of recurrences in computability logic through cirquent calculus. I, A note on standard completeness for some extensions of uninorm logic, Intermediate logics admitting a structural hypersequent calculus, FRACTIONAL-VALUED MODAL LOGIC, Proof search and co-NP completeness for many-valued logics, A family of Gödel hybrid logics, Fractional-Valued Modal Logic and Soft Bilateralism, A Calculus for Rational Łukasiewicz Logic and Related Systems, Hypersequent calculi for intuitionistic logic with classical atoms, Completeness and conservative extension results for some Boolean relevant logics, Cut Elimination Theorem for Non-Commutative Hypersequent Calculus, Proof theory for functional modal logic, Hypersequent Calculi for S5: The Methods of Cut Elimination, Eliminability of cut in hypersequent calculi for some modal logics of linear frames, $$\mathbf {RM}$$ RM and its Nice Properties, Formal systems of fuzzy logic and their fragments, Through an Inference Rule, Darkly, Density elimination, On the concurrent computational content of intermediate logics, BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS, Uninorm logic with the \(n\)-potency axiom, Analytic calculi for product logics, Hypersequent and display calculi -- a unified perspective, Fragments of R-mingle, Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions, Combining classical logic, paraconsistency and relevance, A generalized proof-theoretic approach to logical argumentation based on hypersequents, Intuitionistic logic freed of all metarules, Unnamed Item, Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics, Algebraic proof theory: hypersequents and hypercompletions, Multicomponent proof-theoretic method for proving interpolation properties, Uniform proofs of standard completeness for extensions of first-order MTL, CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME, On a multilattice analogue of a hypersequent S5 calculus, Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies, Giles's game and the proof theory of Łukasiewicz logic, A proof of the standard completeness for the involutive uninorm logic, Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work), Interpretations of Weak Positive Modal Logics, Theorems of Alternatives for Substructural Logics, R-Mingle is Nice, and so is Arnon Avron, Implicational F-structures and implicational relevance logics, Simple consequence relations
Cites Work
