Journal of Symbolic Logic 80 (1):341-358 (2015)
| Authors | |
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1017/jsl.2014.19 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
The Proof by Cases Property and its Variants in Structural Consequence Relations.Petr Cintula & Carles Noguera - 2013 - Studia Logica 101 (4):713-747.
Three Complexity Problems in Quantified Fuzzy Logic.Franco Montagna - 2001 - Studia Logica 68 (1):143-152.
On the Predicate Logics of Continuous T-Norm BL-Algebras.Franco Montagna - 2005 - Archive for Mathematical Logic 44 (1):97-114.
A Survey of Abstract Algebraic Logic.J. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1):13-97.
View all 10 references / Add more references
Citations of this work BETA
First-Order Swap Structures Semantics for Some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.
Löwenheim–Skolem Theorems for Non-Classical First-Order Algebraizable Logics: Table 1.Pilar Dellunde, Àngel García-Cerdaña & Carles Noguera - 2016 - Logic Journal of the IGPL 24 (3):321-345.
Saturated Models of First-Order Many-Valued Logics.Guillermo Badia & Carles Noguera - 2022 - Logic Journal of the IGPL 30 (1):1-20.
Similar books and articles
Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
Fibring Modal First-Order Logics: Completeness Preservation.Amilcar Sernadas, Cristina Sernadas & Alberto Zanardo - 2002 - Logic Journal of the IGPL 10 (4):413-451.
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
Completeness: From Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
Weakly Algebraizable Logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
Duality and Completeness for US-Logics.Fabio Bellissima & Saverio Cittadini - 1998 - Notre Dame Journal of Formal Logic 39 (2):231-242.
A Henkin-Style Completeness Proof for the Pure Implicational Calculus.George F. Schumm - 1975 - Notre Dame Journal of Formal Logic 16 (3):402-404.
Algebraizable Logics with a Strong Conjunction and Their Semi-Lattice Based Companions.Ramon Jansana - 2012 - Archive for Mathematical Logic 51 (7-8):831-861.
Löwenheim–Skolem Theorems for Non-Classical First-Order Algebraizable Logics: Table 1.Pilar Dellunde, Àngel García-Cerdaña & Carles Noguera - 2016 - Logic Journal of the IGPL 24 (3):321-345.
Completeness Results for Some Two-Dimensional Logics of Actuality.David R. Gilbert & Edwin D. Mares - 2012 - Review of Symbolic Logic 5 (2):239-258.
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
Analytics
Added to PP index
2016-06-30
Total views
9 ( #946,549 of 2,497,739 )
Recent downloads (6 months)
1 ( #428,370 of 2,497,739 )
2016-06-30
Total views
9 ( #946,549 of 2,497,739 )
Recent downloads (6 months)
1 ( #428,370 of 2,497,739 )
How can I increase my downloads?
Downloads
