First order rough logic -- revisited

DOI10.1007/978-3-540-48061-7_34MaRDI QIDQ4950082zbMATH OpenFDO

Authors Tsau Young Lin, Qing Liu, Qing Liu

Publication date 19 November 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-48061-7_34

zbMATH Keywords

axiomatic rough set theoryfirst-order rough logicmodel theorysemantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• scientific article; zbMATH DE number 927102
• scientific article; zbMATH DE number 1047511
• scientific article; zbMATH DE number 1841825
• scientific article; zbMATH DE number 824731
• scientific article; zbMATH DE number 638619
• scientific article; zbMATH DE number 1751350
• Logical semantics for the first order -calculus.
• Taming first-order logic
• First-order logics: some characterizations and closure properties
• On first-order conditional logics

Cited in

(4)

• Rigid first-order hybrid logic
• An axiomatization of the logic with the rough quantifier
• scientific article; zbMATH DE number 1078591 (Why is no real title available?)
• scientific article; zbMATH DE number 927102 (Why is no real title available?)

This page was built for publication: First order rough logic -- revisited

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