No label defined (Q5020976)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7455717

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7455717

Statements

scholarly article

0 references

Tobias Geibinger

0 references

0 references

publication date

11 January 2022

0 references

full work available at URL

https://arxiv.org/abs/2009.10246

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2020.23

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

Reasoning with logical bilattices

0 references

The value of the four values

0 references

Reducing Preferential Paraconsistent Reasoning to Classical Entailment

0 references

Natural 3-valued logics—characterization and proof theory

0 references

On the expressive power of three-valued and four-valued languages

0 references

0 references

How a Computer Should Think

0 references

0 references

Inconsistency Tolerance

0 references

The complexity of reasoning for fragments of default logic

0 references

0 references

A sequent-type calculus for three-valued default logic, or: Tweety meets quartum non datur

0 references

Sequent calculi for propositional nonmonotonic logics

0 references

Proof-complexity results for nonmonotonic reasoning

0 references

0 references

Untersuchungen über das logische Schliessen. I

0 references

Circumscription - a form of non-monotonic reasoning

0 references

Semantical considerations on nonmonotonic logic

0 references

The logic of paradox

0 references

Minimally inconsistent LP

0 references

A logic for default reasoning

0 references

Sequents in many valued logic II

0 references

Identifiers

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5020976

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5020976&oldid=36756171"