Some results concerning finite models for sentential calculi
Notre Dame Journal of Formal Logic 13 (3):363-368 (1972)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesGrzegorz Malinowski (1977). Degrees of Maximality of Łukasiewicz-Like Sentential Calculi. Studia Logica 36 (3):213 - 228.
Tomasz Fukmanowski (1982). Adjoint Interpretations of Sentential Calculi. Studia Logica 41 (4):359 - 374.
Alexej P. Pynko (2009). Distributive-Lattice Semantics of Sequent Calculi with Structural Rules. Logica Universalis 3 (1).
Jacek Hawranek & Jan Zygmunt (1984). On the Degree of Complexity of Sentential Logics.II. An Example of the Logic with Semi-Negation. Studia Logica 43 (4):405 - 413.
M. Krynicki & K. Zdanowski (2005). Theories of Arithmetics in Finite Models. Journal of Symbolic Logic 70 (1):1-28.
Maciej Farulewski (2005). On Finite Models of the Lambek Calculus. Studia Logica 80 (1):63 - 74.
Jacek Wojtysiak (1999). Metafizyka w logice. Filozofia Nauki 1.
Ronald Harrop (1976). Some Results Concerning Finite Model Separability of Propositional Calculi. Studia Logica 35 (2):179 - 189.
Francis Oger (1984). The Model Theory of Finitely Generated Finite-by-Abelian Groups. Journal of Symbolic Logic 49 (4):1115-1124.
Miklós Maróti & Ralph McKenzie (2004). Finite Basis Problems and Results for Quasivarieties. Studia Logica 78 (1-2):293 - 320.
Joanna Golinska-Pilarek (2006). Number of Non-Fregean Sentential Logics That Have Adequate Models. Mathematical Logic Quarterly 52 (5):439–443.
Eugeniusz Żabski (2004). O czterech antynomiach semantycznych i ich „rozwiązaniach”. Filozofia Nauki 2.
John Slaney (1993). Sentential Constants in Systems Near R. Studia Logica 52 (3):443 - 455.
Marcin Mostowski (1998). Computational Semantics for Monadic Quantifiers. Journal of Applied Non--Classical Logics 8:107--121.
Edward Baŀuka (1965). On Verification of the Expressions of Many-Valued Sentential Calculi. I. Studia Logica 17 (1):53 - 73.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,652 of 549,045 )Recent downloads (6 months)1 ( #63,185 of 549,045 )How can I increase my downloads? |
My notes
Discussion
