PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940)

From MaRDI portal

Revision as of 22:23, 13 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

scientific article; zbMATH DE number 6724390

Language	Label	Description	Also known as
English	PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS	scientific article; zbMATH DE number 6724390

Statements

scholarly article

0 references

PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (English)

0 references

The Review of Symbolic Logic

0 references

publication date

31 May 2017

0 references

full work available at URL

https://arxiv.org/abs/1601.02905

0 references

zbMATH Keywords

admissible rules

0 references

combining logics

0 references

0 references

Cristina Sernadas

0 references

Amílcar Sernadas

0 references

MaRDI profile type

MaRDI publication profile

0 references

Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)

0 references

0 references

Properties of independently axiomatizable bimodal logics

0 references

The complexity of admissible rules of Lukasiewicz logic

0 references

Bases of Admissible Rules of Lukasiewicz Logic

0 references

Complexity of admissible rules

0 references

Admissible Rules of Modal Logics

0 references

Proof theory for admissible rules

0 references

Consequence relations and admissible rules

0 references

0 references

Intermediate logics and Visser's rules

0 references

On the admissible rules of intuitionistic propositional logic

0 references

Concerning formulas of the types <i>A→B</i> ν <i>C,A →(Ex)B(x)</i> in intuitionistic formal systems

0 references

Many-dimensional modal logics: theory and applications

0 references

A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property

0 references

0 references

Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics

0 references

Fibring: completeness preservation

0 references

On unification and admissible rules in Gabbay-de Jongh logics

0 references

Best solving modal equations

0 references

Unification in intuitionistic logic

0 references

Handbook of philosophical logic. Volume II: Extensions of classical logic

0 references

On meet-combination of logics

0 references

One hundred and two problems in mathematical logic

0 references

Fibring of logics as a categorial construction

0 references

Structural completeness of Gödel's and Dummett's propositional calculi

0 references

Preservation of Craig interpolation by the product of matrix logics

0 references

Projective unification in modal logic

0 references

Modulated fibring and the collapsing problem

0 references

Admissible rules in the implication-negation fragment of intuitionistic logic

0 references

Admissibility of logical inference rules

0 references

Proof of structural completeness of a certain class of implicative propositional calculi

0 references

A rule-completeness theorem

0 references

Admissible Rules: From Characterizations to Applications

0 references

Identifiers

zbMATH Open document ID

0 references

10.1017/S1755020316000241

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5737940

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5737940&oldid=36324903"