Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogica Universalis, Volume 17
Volume 17, Number 1, March 2023
- Cheng Liao:
Games and Lindström Theorems. 1-21 - Marc Aiguier, Isabelle Bloch:
Abstract Categorical Logic. 23-67 - Sayantan Roy, Sankha S. Basu, Mihir K. Chakraborty:
Lindenbaum-Type Logical Structures. 69-102 - Bartosz Wieckowski:
Negative Predication and Distinctness. 103-138
Volume 17, Number 2, June 2023
- Hugolin Bergier
:
An Intensional Formalization of Generic Statements. 139-160 - Nathan Salmón:
The Decision Problem for Effective Procedures. 161-174 - Angelina Ilic-Stepic, Zoran Ognjanovic, Aleksandar Perovic:
Probability Logics for Reasoning About Quantum Observations. 175-219 - Nissim Francez:
A Dialectic Contra-Classical Logic. 221-229 - Ekaterina Kubyshkina, Mattia Petrolo:
Revising the Elenchus via Belief Revision. 231-258
Volume 17, Number 3, September 2023
- Krzysztof A. Krawczyk, Bozena Pieta:
Ultravaluations and their Applications in sfCPL. 259-267 - Hamzeh Mohammadi, Mojtaba Aghaei:
Rooted Hypersequent Calculus for Modal Logic S5. 269-295 - Gennady Shtakser:
Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness. 297-330 - Chai Wah Wu:
On Rearrangement Inequalities for Triangular Norms and Co-norms in Multi-valued Logic. 331-346 - Maristela Rocha:
A Study of the Metatheory of Assertoric Syllogistic. 347-371 - John Grant:
Measuring Inconsistency in Generalized Propositional Logic Extended with Nonunary Operators. 373-404
Volume 17, Number 4, December 2023
- Alex Citkin, Alexei Y. Muravitsky:
Preface to the Rejection Special Issue. 405-410 - Gabriele Pulcini, Achille C. Varzi:
Complementary Proof Nets for Classical Logic. 411-432 - Tomasz F. Skura:
Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation. 433-441 - Alexei Y. Muravitsky:
On Consequence and Rejection as Operators. 443-460 - Alexei Y. Muravitsky:
Rejection: A Historico-Epistemological View. 461-482 - Alex Citkin:
Unified Deductive Systems: An Outline. 483-509 - Urszula Wybraniec-Skardowska:
Operator Counterparts of Types of Reasoning. 511-528
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-26 18:26 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:
