Abstract | ||
---|---|---|
A b s t r a c t. We consider the very weak paracomplete and para- consistent logics that are obtained by a straightforward weakening of Classical Logic, as well as some of their maximal extensions that are a fragment of Classical Logic. We prove (for the propositional case) that these logics may be faithfully embedded in Classical Logic (as well as in each other), and that the interpolation theorem obtains for them. |
Year | Venue | Keywords |
---|---|---|
1999 | Reports on Mathematical Logic | classical logic |
Field | DocType | Volume |
Discrete mathematics,T-norm fuzzy logics,Algebra,Zeroth-order logic,Complete theory,Monoidal t-norm logic,Classical logic,Many-valued logic,Mathematics,Propositional variable,Intermediate logic | Journal | 33 |
Citations | PageRank | References |
19 | 2.37 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Diderik Batens | 1 | 148 | 20.23 |
Kristof De Clercq | 2 | 26 | 2.94 |
Natasha Kurtonina | 3 | 90 | 13.20 |