Interactive Logical Structures

DOI10.3233/FI-2017-1554MaRDI QIDQ4601123zbMATH OpenOpenAlexFDO

Authors Soma Dutta, Andrzej Skowron, Andrzej Jankowski

Publication date 19 January 2018

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2017-1554

zbMATH Keywords

(control of) interactive computationsclosed logical structurecomplex granulegranular computinginformation granuleinteractionopen logical structurephysical objectrough set

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Interactive realizations of logical formulas
• An interactive semantics of logic programming
• scientific article; zbMATH DE number 1487497
• The logic of structures
• Lindenbaum-type logical structures
• Interaction nets for linear logic
• scientific article; zbMATH DE number 67840
• STRUCTURED NONSTANDARD DYNAMIC LOGIC

Cited in

(3)

• The chain and substitution rules of interval-valued intuitionistic fuzzy calculus
• Topological Aspects of Granular Computing
• Granularity and rational approximation: rethinking graded rough sets

This page was built for publication: Interactive Logical Structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4601123)