In this note we define a new two-state logic, called 2neg-logic (logic with two negations) and compare its expressive power with other two-state logics, such as the logic of here and there, contingency logic and bi-state logic.
Cialdea, M., Fariñas del Cerro, L. (2023). Logical Connectives for two-state Semantics. JOURNAL OF APPLIED NON-CLASSICAL LOGICS, 33(3-4), 520-536 [10.1080/11663081.2023.2244362].
Logical Connectives for two-state Semantics
Marta Cialdea;
2023-01-01
Abstract
In this note we define a new two-state logic, called 2neg-logic (logic with two negations) and compare its expressive power with other two-state logics, such as the logic of here and there, contingency logic and bi-state logic.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.