Pages that link to "Item:Q3781069"
From MaRDI portal
The following pages link to A constructive analysis of <b>RM</b> (Q3781069):
Displayed 50 items.
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584) (← links)
- A family of Gödel hybrid logics (Q631082) (← links)
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- Uninorm logic with the \(n\)-potency axiom (Q695273) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- Simple consequence relations (Q809992) (← links)
- Normal forms for fuzzy logics: a proof-theoretic approach (Q884948) (← links)
- Fuzzy logics based on \([0,1)\)-continuous uninorms (Q884954) (← links)
- A note on standard completeness for some extensions of uninorm logic (Q894654) (← links)
- Completeness and conservative extension results for some Boolean relevant logics (Q908897) (← links)
- Density elimination (Q944384) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- Hypersequents, logical consequence and intermediate logics for concurrency (Q1354077) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Proof theory for functional modal logic (Q1708100) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Combining classical logic, paraconsistency and relevance (Q1775868) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- The taming of recurrences in computability logic through cirquent calculus. I (Q1935369) (← links)
- On the concurrent computational content of intermediate logics (Q1989344) (← links)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- Basing sequent systems on exclusive-or (Q2142068) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)
- A proof of the standard completeness for the involutive uninorm logic (Q2337894) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts (Q2677854) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- $$\mathbf {RM}$$ RM and its Nice Properties (Q3305418) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- Relevance and paraconsistency—a new approach (Q3484811) (← links)
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (Q3605532) (← links)
- Natural 3-valued logics—characterization and proof theory (Q3981456) (← links)
- Implicational <i>F</i>-structures and implicational relevance logics (Q4508262) (← links)
- Cut Elimination Theorem for Non-Commutative Hypersequent Calculus (Q4608559) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- Interpretations of Weak Positive Modal Logics (Q5020162) (← links)
- Theorems of Alternatives for Substructural Logics (Q5020165) (← links)
- R-Mingle is Nice, and so is Arnon Avron (Q5020167) (← links)
- (Q5094116) (← links)
- A Calculus for Rational Łukasiewicz Logic and Related Systems (Q5117205) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME (Q5216979) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)