Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 46
Volume 46, Number 1, March 1987
- Vladimir A. Smirnov:
Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain. 1-15 - Roberto Giuntini
:
Quantum logics and Lindenbaum property. 17-35 - Itala M. Loffredo D'Ottaviano:
Definability and Quantifier Elimination for J3-theories. 37-54 - Steve Giambrone, Aleksandar Kron:
Four relevant Gentzen systems. 55-71 - Charles B. Daniels:
"The story says that" operator in story semantics. 73-86 - Vilém Novák:
First-order fuzzy logic. 87-109 - Risto Hilpinen:
International Union of History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science Bulletin no. 11. 111-112
Volume 46, Number 2, June 1987
- Sergei S. Goncharov:
Axiomatizable classes with strong homomorphisms. 113-120 - D. E. Pal'chunov:
Countably-categorical Boolean algebras with distinguished ideals. 121-135 - Mitio Takano:
Ordered sets R and Q as bases of Kripke models. 137-148 - Nguyen Cat Ho, Helena Rasiowa:
Semi-Post algebras. 149-160 - Nguyen Cat Ho, Helena Rasiowa:
Subalgebras and homomorphisms of semi-Post algebras. 161-175 - Adam Gajda, Michal Krynicki, Leslaw Szczerba:
A note on syntactical and semantical functions. 177-185 - Dick H. J. Jongh:
A simplification of a completeness proof of Guaspari and Solovay. 187-192 - Dick H. J. Jongh, Franco Montagna:
Generic generalized Rosser fixed points. 193-203 - Janusz Czelakowski:
Books received. 205-207
Volume 46, Number 3, September 1987
- S. N. Furs:
Computation of Aristotle's and Gergonne's syllogisms. 209-225 - Giangiacomo Gerla:
Decidability, partial decidability and sharpness relation for L-subsets. 227-238 - Diderik Batens:
Relevant implication and the weak deduction theorem. 239-245 - Mitio Takano:
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic. 247-253 - Miroslaw Majewski:
Elementary extensions of topological models in Ltlanguage. 255-264 - Antoni Torrens:
W-algebras which are Boolean products of members of SR[1] and CW-algebras. 265-274 - Andrzej Wronski:
Remarks on a survey article on many valued logic by A. Urquhart. 275-278 - Janusz Czelakowski:
Books received. 279-282
Volume 46, Number 4, December 1987
- Jacek Hawranek:
On the degree of complexity of sentential logics, III. An example of Johansson's minimal logic. 283-289 - Slavian Radev:
Infinitary propositional normal modal logic. 291-309 - Zygmunt Vetulani:
On Bellert's proposal concerning quantificational universals. 311-320 - Peter Gärdenfors:
Variations on the Ramsey test: More triviality results. 321-327 - Renato A. Lewin:
Interpretations into monadic algebras. 329-342 - Marek Palasinski:
No non-trivial quasivariety of BCK-algebras has decidable first order theory. 343-345 - Dale A. Miller:
A compact representation of proofs. 347-370 - Mitsuhiro Okada:
A weak intuitionistic propositional logic with purely constructive implication. 371-382 - Maurizio Fattorosi-Barnaba, Gianni Amati:
Modal operators with probabilistic interpretations, I. 383-393 - Janusz Czelakowski:
Books received. 395-404
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-04-25 04:44 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:
