Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 57
Volume 57, Number 1, 2016
- Jared Corduan
, Marcia J. Groszek:
Reverse Mathematics and Ramsey Properties of Partial Orderings. 1-25 - Matthew Jura:
Reverse Mathematics and the Coloring Number of Graphs. 27-44 - Ekaterina B. Fokina, Andrey N. Frolov, Iskander Sh. Kalimullin:
Categoricity Spectra for Rigid Structures. 45-57 - Christina Goddard:
Improving a Bounding Result That Constructs Models of High Scott Rank. 59-71 - Jonathan Stephenson:
Controlling Effective Packing Dimension of Δ02 Degrees. 73-93 - Lloyd Humberstone:
Note on Extending Congruential Modal Logics. 95-103 - Neil Tennant:
Rule-Irredundancy and the Sequent Calculus for Core Logic. 105-125 - Ermek S. Nurkhaidarov, Erez Shochat:
Closed Normal Subgroups of the Automorphism Group of a Saturated Model of Peano Arithmetic. 127-139 - Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg:
Boolean Algebras in Visser Algebras. 141-150
Volume 57, Number 2, 2016
- Stefan Wintein:
From Closure Games to Strong Kleene Truth. 153-179 - Costas Dimitracopoulos, Vasileios S. Paschalis:
End Extensions of Models of Weak Arithmetic Theories. 181-193 - Florian Pelupessy:
Phase Transition Results for Three Ramsey-Like Theorems. 195-207 - Samuel Alexander:
Guessing, Mind-Changing, and the Second Ambiguous Class. 209-220 - Radek Honzik, Jonathan Verner:
A Lifting Argument for the Generalized Grigorieff Forcing. 221-231 - Rosalie Iemhoff:
A Syntactic Approach to Unification in Transitive Reflexive Modal Logics. 233-247 - Joanna Golinska-Pilarek, Taneli Huuskonen:
Non-Fregean Propositional Logic with Quantifiers. 249-279 - Christian Espíndola:
Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics. 281-286 - Elia Zardini:
Restriction by Noncontraction. 287-327
Volume 57, Number 3, 2016
- Stephen G. Simpson:
Implicit Definability in Arithmetic. 329-339 - Kristine Harjes, Pavel Naumov:
Functional Dependence in Strategic Games. 341-353 - Sune Kristian Jakobsen, Jakob Grue Simonsen:
Some Remarks on Real Numbers Induced by First-Order Spectra. 355-368 - Thomas Hofweber, Ralf Schindler:
Hyperreal-Valued Probability Measures Approximating a Real-Valued Measure. 369-374 - Horst Herrlich, Paul E. Howard, Eleftherios Tachtsis:
Finiteness Classes and Small Violations of Choice. 375-388 - Bernard A. Anderson, Barbara F. Csima:
Degrees That Are Not Degrees of Categoricity. 389-398 - Jafar S. Eivazloo, Somayyeh Tari:
SCE-Cell Decomposition and OCP in Weakly O-Minimal Structures. 399-410 - Tomoyuki Suzuki:
The Distributivity on Bi-Approximation Semantics. 411-430 - Joel David Hamkins, Cole Leahy:
Algebraicity and Implicit Definability in Set Theory. 431-439
Volume 57, Number 4, 2016
- Rosalie Iemhoff, George Metcalfe:
Special Issue on Admissible Rules and Unification. 441-442 - Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska:
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. 443-476 - Leonardo Cabrer:
Unification on Subvarieties of Pseudocomplemented Distributive Lattices. 477-502 - Alex Citkin:
Algebraic Logic Perspective on Prucnal's Substitution. 503-521 - Wojciech Dzik, Piotr Wojtylak:
Modal Consequence Relations Extending S4.3: An Application of Projective Unification. 523-549 - Tomasz Kowalski, Lloyd Humberstone:
An Abelian Rule for BCI - and Variations. 551-568 - James G. Raftery:
Admissible Rules and the Leibniz Hierarchy. 569-606
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-06 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
