Open AccessBoolean Connexive Logics: Semantics and tableau approach
Author(s) -
Tomasz Jarmużek,
Jacek Malinowski
Publication year - 2019
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2019.003
Subject(s) - negation , t norm fuzzy logics , semantics (computer science) , conjunction (astronomy) , monoidal t norm logic , mathematics , classical logic , computer science , discrete mathematics , theoretical computer science , algebra over a field , programming language , pure mathematics , artificial intelligence , physics , membership function , astronomy , fuzzy set , fuzzy number , fuzzy logic