Sign in
Sopo Pkhakadze
ORCID
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 3
Top Topics
Default Logic
Sequent Calculi
Valued Semantics
Nonmonotonic Logics
Top Venues
CoRR
Axioms
LPNMR
</>
Publications
</>
Sopo Pkhakadze
,
Hans Tompits
Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic.
Axioms
9 (3) (2020)
Sopo Pkhakadze
,
Hans Tompits
A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur.
LPNMR
(2019)
Sopo Pkhakadze
Sequent-Type Proof Systems for Three-Valued Default Logic.
CoRR
(2019)