Open AccessBCI-Algebras and Related Logics
Author(s) -
Martin W. Bunder
Publication year - 2022
Publication title -
australasian journal of logic
Language(s) - English
Resource type - Journals
ISSN - 1448-5052
DOI - 10.26686/ajl.v19i2.7567
Subject(s) - decidability , sequent , extension (predicate logic) , mathematics , sequent calculus , algebra over a field , cut elimination theorem , calculus (dental) , linear logic , algorithm , discrete mathematics , proof calculus , computer science , pure mathematics , programming language , mathematical proof , medicine , geometry , dentistry