scientific article; zbMATH DE number 575581

zbMATH Open0805.03010MaRDI QIDQ4294471FDOQ4294471

Authors: Jacek Geisler 

Publication date: 29 January 1995

Title of this publication is not available (Why is that?)

Recommendations

• Paraconsistent modal logic
• Four simple paralogics: semantics and sequent calculi
• scientific article; zbMATH DE number 1251244
• On genuine paraconsistent and genuine paracomplete newline many-valued logics
• Paraconsistency and paracompleteness

zbMATH Keywords

semanticscompletenessparaconsistent logics based on the axioms of positive logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cited In (14)

• Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
• Title not available (Why is that?)
• Four simple paralogics: semantics and sequent calculi
• Table-analytical axiomatizations of expansions of logic Par
• Minimal paradefinite logics for reasoning with incompleteness and inconsistency
• Equivalence among RC-type paraconsistent logics
• Natural \(p\)-logics
• Paraconsistent logics included in Lewis' S4
• Paraconsistent modal logic
• Paraconsistency and paracompleteness
• Title not available (Why is that?)
• Genuine paracomplete logics
• A Routley-Meyer semantics for Ackermann's logics of ``strenge Implikation
• Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4294471)