Computable Kripke Models and Intermediate Logics
Copyright policy )Computable Kripke Models and Intermediate Logics
In the paper under review the authors investigate effectiveness of Kripke models for first-order theories of intermediate logics, i.e. those that lie between intuitionistic and classical predicate logic. Completeness (by Kripke) results for intermediate logics such as intuitionistic logic, classical logic, constant domain logic, directed frames logic, and Dummett's logic are obtained.
- University of Auckland New Zealand
- Cornell University United States
- Japan Advanced Institute of Science and Technology Japan
effectiveness of Kripke models, Computable structure theory, computable model theory, Intermediate logics, Theoretical Computer Science, Computer Science Applications, Kripke frames, Computational Theory and Mathematics, intermediate logics, computable models, semantic completeness, Theory of numerations, effectively presented structures, Information Systems
effectiveness of Kripke models, Computable structure theory, computable model theory, Intermediate logics, Theoretical Computer Science, Computer Science Applications, Kripke frames, Computational Theory and Mathematics, intermediate logics, computable models, semantic completeness, Theory of numerations, effectively presented structures, Information Systems
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).1 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!