The first part of the paper is a reminder of fundamental results connected with the adequacy problem for sentential logics with respect to matrix semantics. One of the main notions associated with the ...
Studia Logica: An International Journal for Symbolic Logic, Vol. 94, No. 3 (April 2010), pp. 381-401 (21 pages) The paper briefly surveys the sentential proof-theoretic semantics for fragment of ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback