A constructive analysis of RM
From MaRDI portal
Publication:3781069
DOI10.2307/2273828zbMATH Open0639.03017OpenAlexW1990470938MaRDI QIDQ3781069FDOQ3781069
Authors: Arnon Avron 
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
- Analysis of RMAC.
- scientific article; zbMATH DE number 4070894
- Techniques of constructive analysis
- RIDIT ANALYSIS, A REVIEW
- Publication:3490990
- scientific article; zbMATH DE number 4053570
- An overview of reconstructability analysis
- scientific article; zbMATH DE number 4215793
- On the use of ridit analysis
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 (63)
- Title not available (Why is that?)
- FRACTIONAL-VALUED MODAL LOGIC
- A note on \textbf{R}-mingle and the danger of safety
- 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?)
- Through an inference rule, darkly
- 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
- 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
- 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
- Hypersequent calculi for S5: the methods of cut elimination
- Hypersequents, logical consequence and intermediate logics for concurrency
- \(\mathbf{RM}\) and its nice properties
- Hypersequent-based argumentation: an instantiation in the relevance logic RM
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
- Fragments of R-mingle
- Basing sequent systems on exclusive-or
- Cut elimination theorem for non-commutative hypersequent calculus
- 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
- Analytic calculi for product logics
- Power and limits of structural display rules
- Multicomponent proof-theoretic method for proving interpolation properties
- Interpretations of weak positive modal logics
- 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
- Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\)
- The RM paraconsistent refutation system
- 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
- 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)
