A constructive analysis of RM
From MaRDI portal
Publication:3781069
DOI10.2307/2273828zbMATH Open0639.03017OpenAlexW1990470938MaRDI QIDQ3781069FDOQ3781069
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
Recommendations
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)
Cites Work
Cited In (59)
- Title not available (Why is that?)
- FRACTIONAL-VALUED MODAL LOGIC
- Fractional-Valued Modal Logic and Soft Bilateralism
- A propositional cirquent calculus for computability logic.
- Semiconic idempotent logic. I: Structure and local deduction theorems.
- Title not available (Why is that?)
- Intermediate logics admitting a structural hypersequent calculus
- A Calculus for Rational Łukasiewicz Logic and Related Systems
- On the concurrent computational content of intermediate logics
- Natural 3-valued logics—characterization and proof theory
- Completeness and conservative extension results for some Boolean relevant logics
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- Proof theory for functional modal logic
- Normal forms for fuzzy logics: a proof-theoretic approach
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
- Uninorm logic with the \(n\)-potency axiom
- Interpretations of Weak Positive Modal Logics
- Formal systems of fuzzy logic and their fragments
- Algebraic proof theory: hypersequents and hypercompletions
- Fuzzy logics based on \([0,1)\)-continuous uninorms
- A note on standard completeness for some extensions of uninorm logic
- Power and Limits of Structural Display Rules
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Density elimination
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Combining classical logic, paraconsistency and relevance
- Hypersequents, logical consequence and intermediate logics for concurrency
- Through an Inference Rule, Darkly
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
- Fragments of R-mingle
- Basing sequent systems on exclusive-or
- Theorems of Alternatives for Substructural Logics
- Title not available (Why is that?)
- On a multilattice analogue of a hypersequent S5 calculus
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- R-Mingle is Nice, and so is Arnon Avron
- Simple consequence relations
- Uniform proofs of standard completeness for extensions of first-order MTL
- Hypersequent and display calculi -- a unified perspective
- Relevance and paraconsistency - a new approach. II: The formal systems
- Hypersequent Calculi for S5: The Methods of Cut Elimination
- Analytic calculi for product logics
- $$\mathbf {RM}$$ RM and its Nice Properties
- Multicomponent proof-theoretic method for proving interpolation properties
- Hypersequent calculi for intuitionistic logic with classical atoms
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames
- Giles's game and the proof theory of Łukasiewicz logic
- Relevance and paraconsistency—a new approach
- The taming of recurrences in computability logic through cirquent calculus. I
- Intuitionistic logic freed of all metarules
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- A family of Gödel hybrid logics
- Proof search and co-NP completeness for many-valued logics
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
- A proof of the standard completeness for the involutive uninorm logic
- On an implication connective of RM
- Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
- Implicational F-structures and implicational relevance logics
This page was built for publication: A constructive analysis of RM
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3781069)
