Monteiro's algebraic notion of maximal consistent theory for Tarskian logics.
Aldo Figallo OrellanoJuan Sebastian SlagterPublished in: Fuzzy Sets Syst. (2022)
Keyphrases
- mathematical theory
- general theory
- algebraic geometry
- set theory
- real time
- computational properties
- case study
- formal model
- complexity theory
- computer algebra
- difference equations
- epistemic logic
- linear algebra
- proof theoretic
- conditional logic
- decision theory
- theoretical basis
- information theory
- theoretical foundation
- information systems
- artificial intelligence