Open AccessBCI-Algebras and Related Logics
Author(s) -
M. W. Bunder
Publication year - 2022
Publication title -
the 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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom