Cargando…
Completeness Theory for Propositional Logics
Autores principales: | Pogorzelski, Witold A, Wojtylak, Piotr |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
2008
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.1007/978-3-7643-8518-7 http://cds.cern.ch/record/1320070 |
Ejemplares similares
Ejemplares similares
-
Bounded arithmetic, propositional logic and complexity theory
por: Krajicek, Jan
Publicado: (1995) -
Gentzen Calculi for Modal Propositional Logic
por: Poggiolesi, Francesca
Publicado: (2011) -
Sheaves, games, and model completions: a categorial approach to nonclassical propositional logics
por: Ghilardi, Silvio, et al.
Publicado: (2002) -
Meaning and proscription in formal logic: variations on the propositional logic of William T. Parry
por: Ferguson, Thomas Macaulay
Publicado: (2017) -
Sequents and trees: an introduction to the theory and applications of propositional sequent calculi
por: Indrzejczak, Andrzej
Publicado: (2021)