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
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2023★ 2 cited
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…
cs.LO2022★ 1 cited
Routley Star in Information-Based Semantics
Vít Punčochář, Igor Sedlár
It is common in various non-classical logics, especially in relevant logics, to characterize negation semantically via the operation known as Routley star. This operation works wel…
cs.LO2022★ 1 cited
Natural Deduction for Assertibility and Deniability
Vít Punčochář, Berta Grimau
In this paper we split every basic propositional connective into two versions, one is called extensional and the other one intensional. The extensional connectives are semantically…