default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 48
Volume 48, Number 1, March 1989
- Steve Giambrone, Robert K. Meyer:
Completeness and conservative extension results for some boolean relevant logics. 1-14 - Giovanna Corsi:
A logic characterized by the class of connected models with nested domains. 15-22 - Wojciech Buszkowski
:
Presuppositional completeness. 23-34 - Wojciech Zielonka:
A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi. 35-39 - Kosta Dosen:
Sequent-systems and groupoid models. II. 41-65 - W. Balzer, M. Reiter:
Completeness for systems including real numbers. 67-75 - Joanna Grygiel:
Absolutely independent axiomatizations for countable sets in classical logic. 77-84 - Chris Brink:
R⌝-algebras and R⌝-model structures as power constructs. 85-109 - Keith Daynes:
Sets as singularities in the intensional universe. 111-128 - Janusz Czelakowski:
Books received. 129-137
Volume 48, Number 2, June 1989
- Nobu-Yuki Suzuki:
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics. 141-155 - Krister Segerberg:
Notes on conditional logic. 157-168 - Mohamed A. Amer:
First order logic with empty structures. 169-177 - Giangiacomo Gerla:
Turing L -machines and recursive computability for L -maps. 179-192 - Jonathan P. Seldin:
Normalization and excluded middle. I. 193-217 - Kosta Dosen:
Duality between modal algebras and neighbourhood frames. 219-234 - Ross T. Brady:
A Routley-Meyer affixing style semantics for logics containing Aristotle's Thesis. 235-241 - Ross T. Brady:
A content semantics for quantified relevant logics. II. 243-257 - Janusz Czelakowski, Jan Wolenski, Roman Murawski, Marek Zirk-Sadowski, Andrzej Skowron:
Books received. 259-267
Volume 48, Number 3, September 1989
- Joachim Lambek:
On some connections between logic and category theory. 269-278 - P. H. Rodenburg, F. J. Linden:
Manufacturing a cartesian closed category with exactly two objects out of a C-monoid. 279-283 - Manfred E. Szabo:
Coherence in cartesian closed categories and the generality of proofs. 285-297 - Adam Obtulowicz:
Categorical and algebraic aspects of Martin-Löf Type Theory. 299-317 - Pierre-Louis Curien:
Alpha-conversion, conditions on variables and categorical logic. 319-360 - Robert Paré, Leopoldo Román:
Monoidal categories with natural numbers object. 361-376 - Andrew M. Pitts, Paul Taylor:
A note on russell's paradox in locally cartesian closed categories. 377-387 - C. Barry Jay:
A note on natural numbers objects in monoidal categories. 389-393 - Janusz Czelakowski, Gerhard Schurz, Andrzej Skowron:
Books received. 395-400
Volume 48, Number 4, December 1989
- Jan Wolenski, Jan Zygmunt:
Jerzy Słupecki (1904-1987): Life and work. 401-411 - Jan Zygmunt:
A bibliography of the published work of Jerzy Słupecki. 413-421 - O. M. Anshakov, V. K. Finn, D. P. Skvortsov:
On axiomatization of many-valued logics associated with formalization of plausible reasonings. 423-447 - Rafal Dutkiewicz:
The method of axiomatic rejection for the intuitionistic propositional logic. 449-459 - Katarzyna Halkowska:
A Note on Matrices for Systems of nonsense-logics. 461-464 - Alexander S. Karpenko:
Characterization of prime numbers in Łukasiewicz's logical matrix. 465-478 - Czeslaw Lejewski:
Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term. 479-494 - Larisa L. Maksimova:
Definability theorems in normal extensions of the probability logic. 495-507 - Nguyen Cat Ho, Helena Rasiowa:
Plain Semi-Post algebras as a poset-based generalization of post algebras and their representability. 509-530 - Wolfgang Rautenberg:
A calculus for the common rules of ∧ and ∨. 531-537 - Peter M. Simons:
Tree proofs for syllogistic. 539-554 - Bronislaw Tembrowski:
B-varieties with normal free algebras. 555-564 - Dimiter Vakarelov:
Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety. 565-575 - Dag Westerståhl:
Aristotelian syllogisms and generalized quantifiers. 577-585 - Urszula Wybraniec-Skardowska:
On the eliminatibility of ideal linguistic entities. 587-615 - Jan Wolenski:
On comparison of theories by their contents. 617-622
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 2025-02-24 21:32 CET 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:
