Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReports on Mathematical Logic, Volume 33
Volume 33, 1999
- Tomasz Kowalski:
Pretabular Varieties of Equivalential Algebras. 3-10 - Alexej P. Pynko:
Implication Systems for Many-Dimensional Logics. 11-27 - Diderik Batens, Kristof de Clercq, Natasha Kurtonina:
Embedding and Interpolation for some Paralogics. The Propositional Case. 29-44 - Yutaka Miyazaki:
The Super-Amalgamation Property of the Variety of Ortholattices. 45-63 - Katsumi Sasaki:
Formalizations for the Consequence Relation of Visser's Propositional Logic. 65-78 - Teodor Stepien:
Derivability. 79-98 - Adam Grabowski:
Lattice of Substitutions. 99-109 - Tomasz Polacik:
Induction Schemata Valid in Kripke Models of Arithmetical Theories. 111-125
- Francesco Paoli:
Simplified Affine Phase Structures 32. 21-34
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-06-27 21:37 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:
