Open AccessA deductive-reductive form of logic: Intuitionistic S4 modalities
Author(s) -
Piotr Łukowski
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.2002.005
Subject(s) - intuitionistic logic , interpretation (philosophy) , mathematics , modal logic , dynamic logic (digital electronics) , algebra over a field , modal , pure mathematics , discrete mathematics , computer science , linear logic , programming language , physics , chemistry , transistor , voltage , quantum mechanics , polymer chemistry