A constructive analysis of RM
From MaRDI portal
Publication:3781069
Recommendations
- Analysis of RMAC.
- scientific article; zbMATH DE number 4070894
- Techniques of constructive analysis
- RIDIT ANALYSIS, A REVIEW
- scientific article; zbMATH DE number 4164172
- scientific article; zbMATH DE number 4053570
- An overview of reconstructability analysis
- scientific article; zbMATH DE number 4215793
- On the use of ridit analysis
Cited in
(73)- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Giles's game and the proof theory of Łukasiewicz logic
- On an implication connective of RM
- Hypersequents, logical consequence and intermediate logics for concurrency
- Proof search and co-NP completeness for many-valued logics
- Proof theory for functional modal logic
- Analytic calculi for product logics
- Fragments of R-mingle
- Combining classical logic, paraconsistency and relevance
- Multicomponent proof-theoretic method for proving interpolation properties
- The taming of recurrences in computability logic through cirquent calculus. I
- On the concurrent computational content of intermediate logics
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Hypersequent-based argumentation: an instantiation in the relevance logic RM
- Basing sequent systems on exclusive-or
- Hypersequent and display calculi -- a unified perspective
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems
- A proof of the standard completeness for the involutive uninorm logic
- Intermediate logics admitting a structural hypersequent calculus
- Formal systems of fuzzy logic and their fragments
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
- Hypersequent calculi for S5: the methods of cut elimination
- \(\mathbf{RM}\) and its nice properties
- Through an inference rule, darkly
- On a multilattice analogue of a hypersequent S5 calculus
- The RM paraconsistent refutation system
- Relevance and paraconsistency—a new approach
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- scientific article; zbMATH DE number 4053570 (Why is no real title available?)
- Natural 3-valued logics—characterization and proof theory
- scientific article; zbMATH DE number 1463254 (Why is no real title available?)
- Implicational F-structures and implicational relevance logics
- Cut elimination theorem for non-commutative hypersequent calculus
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames
- Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\)
- 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
- A note on \textbf{R}-mingle and the danger of safety
- Proof theory of Riesz spaces and modal Riesz spaces
- The diamond of mingle logics: a four-fold infinite way to be safe from paradox
- Revisiting constructive mingle: algebraic and operational semantics
- A Calculus for Rational Łukasiewicz Logic and Related Systems
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
- Power and limits of structural display rules
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- Intuitionistic logic freed of all metarules
- FRACTIONAL-VALUED MODAL LOGIC
- Fractional-Valued Modal Logic and Soft Bilateralism
- A family of Gödel hybrid logics
- Hypersequent calculi for intuitionistic logic with classical atoms
- Semiconic idempotent logic. I: Structure and local deduction theorems.
- A propositional cirquent calculus for computability logic.
- A hypersequent calculus for classical contingencies
- GL-based calculi for PCL and its deontic cousin
- Internal and external calculi: ordering the jungle without being lost in translations
- The higher dimensional propositional calculus
- Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
- Uninorm logic with the \(n\)-potency axiom
- Entailment, mingle and binary accessibility
- Sequents vs hypersequents for Åqvist systems
- Algebraic proof theory: hypersequents and hypercompletions
- Uniform proofs of standard completeness for extensions of first-order MTL
- Relevance and paraconsistency - a new approach. II: The formal systems
- Simple consequence relations
- Normal forms for fuzzy logics: a proof-theoretic approach
- Fuzzy logics based on \([0,1)\)-continuous uninorms
- A note on standard completeness for some extensions of uninorm logic
- Completeness and conservative extension results for some Boolean relevant logics
- Density elimination
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)
