Pseudo two-valued evaluation method for intermediate logics

Studia Logica 45 (1):3 - 8 (1986)

An evaluation method, similar to the two-valued one for the classical logic, is introduced to give a decision procedure for some of intermediate logics. The logics treated here are obtained from some logics by adding the axiom av a.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01881544
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,759
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

For Want of an 'And': A Puzzle About Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.
Finite Logics and the Simple Substitution Property.Tsutomu Hosoi & Katsumi Sasaki - 1990 - Bulletin of the Section of Logic 19 (3):74-78.

View all 6 citations / Add more citations

Similar books and articles


Added to PP index

Total views
18 ( #472,738 of 2,264,820 )

Recent downloads (6 months)
1 ( #861,388 of 2,264,820 )

How can I increase my downloads?


My notes

Sign in to use this feature