Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality | Zendy

Norihiro Kamide | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

Author(s) -

Norihiro Kamide

Publication year - 2019

Publication title -

logic and logical philosophy

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.416

H-Index - 10

eISSN - 2300-9802

pISSN - 1425-3305

DOI - 10.12775/llp.2019.002

Subject(s) - completeness (order theory) , sequent calculus , mathematics , decidability , property (philosophy) , extension (predicate logic) , modal logic , duality (order theory) , normal modal logic , modal , sequent , paraconsistent logic , calculus (dental) , pure mathematics , discrete mathematics , algebra over a field , mathematical analysis , computer science , multimodal logic , mathematical proof , geometry , philosophy , materials science , theoretical computer science , description logic , dentistry , epistemology , programming language , medicine , polymer chemistry

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research