Funder
Grantová Agentura České Republiky
Subject
Applied Mathematics,Artificial Intelligence,Theoretical Computer Science,Software
Reference30 articles.
1. Proof systems for reasoning about computation errors;Avron;Stud. Log.,2009
2. A logic covering undefinedness in program proofs;Barringer;Acta Inform.,1984
3. Introduction to mathematical fuzzy logic;Běhounek,2011
4. Fuzzy relational modalities admitting truth-valueless propositions;Běhounek;Fuzzy Sets Syst.,2020
5. Towards fuzzy partial logic;Běhounek,2015
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献