Open AccessLogic and groups
Author(s) -
Francesco Paoli
Publication year - 2004
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.2001.007
Subject(s) - paraconsistent logic , abelian group , mathematics , arithmetic , dynamic logic (digital electronics) , discrete mathematics , computer science , pure mathematics , higher order logic , description logic , artificial intelligence , physics , transistor , quantum mechanics , voltage
Abelian group logic (AGL) — in other words, the logic which is sound and complete w.r.t. Abelian groups — is a non-trivial inconsistent logic, i.e. what some paraconsistent logicians call a “dialethic” logic.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom