default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogica 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
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-11-08 20:36 CET 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:
