103 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Czech Academy of SciencesCZ6 papers
- Institut National des Sciences Appliquées Centre Val de LoireFR4 papers
- Services déconcentrés d'appui à la recherche Val de LoireFR4 papers
- Université d'OrléansFR4 papers
- Czech Academy of Sciences, Institute of Computer ScienceCZ3 papers
- KU LeuvenBE2 papers
- University of WarsawPL2 papers
- Canadian Institute for Advanced ResearchCA1 paper
- Czech Academy of Sciences, Institute of SociologyCZ1 paper
- Harvard UniversityUS1 paper
- Institute of Philosophy of the Slovak Academy of SciencesSK1 paper
- Institut NéelFR1 paper
4 papers · 1 filter
Constructive validity of a generalized Kreisel-Putnam rule
Ivo Pezlar
In this paper, we propose a computational interpretation of the generalized Kreisel-Putnam rule, also known as the generalized Harrop rule or simply the Split rule, in the style of…
On Penrose's Analogy between Curved Spacetime Regions and Optical Lenses
Dennis Lehmkuhl, Christian Röken, Juliusz Doboszewski
We present a detailed analysis of Penrose's gravito-optical analogy between the focusing effects of particular families of Ricci- and Weyl-curved spacetime regions on the one hand,…
Non-standard modalities in paraconsistent Gödel logic
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We introduce a paraconsistent expansion of the Gödel logic with a De Morgan negation and modalities and . We equip it with Kripke semantics on…
Two-layered logics for paraconsistent probabilities
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz -valued logic with Baaz operator and the B…