Open AccessErrata: A Correction to 'The Completeness Theorems for Some Intuitionistic Logics In Terms of Interval Semantics'
Author(s) -
Michiro Kondo
Publication year - 1986
Publication title -
publications of the research institute for mathematical sciences
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.786
H-Index - 39
eISSN - 1663-4926
pISSN - 0034-5318
DOI - 10.2977/prims/1195177856
Subject(s) - mathematics , completeness (order theory) , calculus (dental) , interval (graph theory) , semantics (computer science) , gödel's completeness theorem , discrete mathematics , algebra over a field , pure mathematics , combinatorics , computer science , programming language , medicine , mathematical analysis , 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