Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 53 matches
- 2017
- V. Michele Abrusci, Claudia Casadio:
A Geometrical Representation of the Basic Laws of Categorial Grammar. Stud Logica 105(3): 479-520 (2017) - Hugo Albuquerque, Josep Maria Font, Ramon Jansana:
The Strong Version of a Sentential Logic. Stud Logica 105(4): 703-760 (2017) - Hugo Albuquerque, Adam Prenosil, Umberto Rivieccio:
An Algebraic View of Super-Belnap Logics. Stud Logica 105(6): 1051-1086 (2017) - Ofer Arieli, Arnon Avron:
Four-Valued Paradefinite Logics. Stud Logica 105(6): 1087-1122 (2017) - Giosuè Baggio, Heming Strømholt Bremnes:
Jakub Szymanik, Quantifiers and Cognition. Logical and Computational Perspectives. Springer, 2016. Pp. xii+211. ISBN: 978-3-319-28749-2 (hardcover) EUR 106, 99; eBook EUR 83, 29. Stud Logica 105(5): 1015-1019 (2017) - Mike Behrisch, John Kenneth Truss, Edith Vargas-García:
Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals. Stud Logica 105(1): 65-91 (2017) - Stefano Bonzio, José Gil-Férez, Francesco Paoli, Luisa Peruzzi:
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis. Stud Logica 105(2): 253-297 (2017) - Pablo F. Castro:
Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity. Stud Logica 105(2): 229-251 (2017) - Roberto Cignoli, Antoni Torrens:
Erratum to: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x2) = (2x)22. Stud Logica 105(1): 227-228 (2017) - Brian A. Davey, A. Gair:
Restricted Priestley Dualities and Discriminator Varieties. Stud Logica 105(4): 843-872 (2017) - Dragan Doder, Zoran Ognjanovic:
Probabilistic Logics with Independence and Confirmation. Stud Logica 105(5): 943-969 (2017) - Benedict Eastaugh:
Book Reviews. Stud Logica 105(4): 873-879 (2017) - Jie Fang:
The Strong Endomorphism Kernel Property in Double MS-Algebras. Stud Logica 105(5): 995-1013 (2017) - Thomas Macaulay Ferguson:
Rivals to Belnap-Dunn Logic on Interlaced Trilattices. Stud Logica 105(6): 1123-1148 (2017) - Gilda Ferreira:
Rasiowa-Harrop Disjunction Property. Stud Logica 105(3): 649-664 (2017) - Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay:
Subdirectly Irreducible IKt-Algebras. Stud Logica 105(4): 673-701 (2017) - Melvin Fitting:
Paraconsistent Logic, Evidence, and Justification. Stud Logica 105(6): 1149-1166 (2017) - Andreas Fjellstad:
Non-classical Elegance for Sequent Calculus Enthusiasts. Stud Logica 105(1): 93-119 (2017) - Rohan French:
A Simple Sequent Calculus for Angell's Logic of Analytic Containment. Stud Logica 105(5): 971-994 (2017) - Marco Garapa, Eduardo L. Fermé, Maurício D. Luís Reis:
Studies on Brutal Contraction and Severe Withdrawal. Stud Logica 105(2): 331-360 (2017) - George Georgescu, Claudia Muresan:
Factor Congruence Lifting Property. Stud Logica 105(1): 179-216 (2017) - Valentin Goranko:
Dov Gabbay, Reactive Kripke Semantics. Stud Logica 105(2): 431-437 (2017) - Lucy Ham:
Relativised Homomorphism Preservation at the Finite Level. Stud Logica 105(4): 761-786 (2017) - Wesley H. Holliday:
On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames. Stud Logica 105(1): 13-35 (2017) - Ming Hsiung:
Boolean Paradoxes and Revision Periods. Stud Logica 105(5): 881-914 (2017) - Bruno Jacinto, Stephen Read:
General-Elimination Stability. Stud Logica 105(2): 361-405 (2017) - Farida Kachapova:
Metamathematical Properties of a Constructive Multi-typed Theory. Stud Logica 105(3): 587-610 (2017) - Norihiro Kamide:
Paraconsistent Double Negations as Classical and Intuitionistic Negations. Stud Logica 105(6): 1167-1191 (2017) - Norihiro Kamide, Yaroslav Shramko, Heinrich Wansing:
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant. Stud Logica 105(6): 1193-1219 (2017) - Annika Kanckos, Bruno Woltzenlogel Paleo:
Variants of Gödel's Ontological Proof in a Natural Deduction Calculus. Stud Logica 105(3): 553-586 (2017)
skipping 23 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-23 12:53 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint