Completeness theory for propositional logics / Witold A. Pogorzelski, Piotr Wojtylak.
Saved in:
Superior document: | Studies in universal logic |
---|---|
: | |
TeilnehmendeR: | |
Year of Publication: | 2008 |
Language: | English |
Series: | Studies in universal logic.
|
Online Access: | |
Physical Description: | viii, 178 p. :; ill. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
The mathematics of logic : a guide to completeness theorems and their applications / / Richard W. Kaye.
by: Kaye, Richard
Published: (2007.) -
Kripke's worlds : : an introduction to modal logics via Tableaux / / Olivier Gasquet [and three others].
by: Gasquet, Olivier.
Published: ([2014]) -
Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics / / Robert Goldblatt.
by: Goldblatt, Robert.
Published: (2011.) -
Accessible categories : : the foundations of categorical model theory / / Michael Makkai, Robert Pare.
by: Makkai, Mihaly,
Published: ([1989]) -
Proof theory / / Herman Ruge Jervell.
by: Jervell, Herman Ruge,
Published: ([2012])