![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Logica Universalis, Volume 9
Volume 9, Number 1, March 2015
- Ilya Makarov
:
Existence of Finite Total Equivalence Systems for Certain Closed Classes of 3-Valued Logic Functions. 1-26 - Alex Citkin:
Characteristic Inference Rules. 27-46 - Clayton Peterson
:
Contrary-to-Duty Reasoning: A Categorical Approach. 47-92 - Sergei Odintsov, Vladimir V. Rybakov
:
Inference Rules in Nelson's Logics, Admissibility and Weak Admissibility. 93-120 - Nissim Francez:
On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics. 121-127
Volume 9, Number 2, June 2015
- Rodrigo Guerizoli, Guy Hamelin:
Preface: Medieval Logic. 129-131 - Alfredo Storck:
The Meanings of 'Logic' in the Thirteenth Century. 133-154 - Guy Hamelin, Danilo Luiz Silva Maia
:
Nominalism and Semantics in Abelard and Ockham. 155-180 - Wolfgang Lenzen:
Ockham's Calculus of Strict Implication. 181-191 - Ana María Mora-Márquez:
Boethius of Dacia (1270s) and Radulphus Brito (1290s) on the Universal Sign 'Every'. 193-211 - Frédéric Goubier, Ernesto Perini-Santos:
When the World is Not Enough: Medieval Ways to Deal with the Lack of Referents. 213-235 - Stephen Read:
Paradox, Closure and Indirect Speech Reports. 237-251 - Julie Brumberg-Chaumont:
Universal Logic and Aristotelian Logic: Formality and Essence of Logic. 253-278 - Julie Brumberg-Chaumont:
Erratum to: Universal Logic and Aristotelian Logic: Formality and Essence of Logic. 279
Volume 9, Number 3, September 2015
- Rodrigo A. Freire:
First-Order Logic and First-Order Functions. 281-329 - Marc Champagne
:
Sound Reasoning (Literally): Prospects and Challenges of Current Acoustic Logics. 331-343 - Dov M. Gabbay, Odinaldo Rodrigues
:
Probabilistic Argumentation: An Equational Approach. 345-382 - Mauricio Osorio, José Luis Carballido, Claudia Zepeda, José Abel Castellanos:
Weakening and Extending ℤ. 383-409
Volume 9, Number 4, December 2015
- Dov M. Gabbay, Odinaldo Rodrigues
:
Equilibrium States in Numerical Argumentation Networks. 411-473 - Lawrence Valby:
The Universal Theory of First Order Algebras and Various Reducts. 475-500 - José M. Méndez
, Gemma Robles
:
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes. 501-522 - Jonas R. Becker Arenhart:
Liberating Paraconsistency from Contradiction. 523-544
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.