Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "truth value"
download as .bib file
@article{DBLP:journals/asc/PangLMPZL24,
author = {Kuo Pang and
Yifan Lu and
Luis Mart{\'{\i}}nez{-}L{\'{o}}pez and
Witold Pedrycz and
Li Zou and
Mingyu Lu},
title = {A conceptual clustering method for large-scale group decision-making
with linguistic truth-valued lattice implication algebra},
journal = {Appl. Soft Comput.},
volume = {155},
pages = {111418},
year = {2024},
url = {https://doi.org/10.1016/j.asoc.2024.111418},
doi = {10.1016/J.ASOC.2024.111418},
timestamp = {Tue, 21 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/asc/PangLMPZL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/WangLXZW24,
author = {Han Wang and
Anfeng Liu and
Neal N. Xiong and
Shaobo Zhang and
Tian Wang},
title = {{TVD-RA:} {A} Truthful Data Value Discovery-Based Reverse Auction
Incentive System for Mobile Crowdsensing},
journal = {{IEEE} Internet Things J.},
volume = {11},
number = {4},
pages = {5826--5839},
year = {2024},
url = {https://doi.org/10.1109/JIOT.2023.3308072},
doi = {10.1109/JIOT.2023.3308072},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iotj/WangLXZW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/YangLLX24,
author = {Bin Yang and
Wei Li and
Yuanhao Liu and
Jing Xu},
title = {The distributivity of extended semi-t-operators over extended S-uninorms
on fuzzy truth values},
journal = {Soft Comput.},
volume = {28},
number = {4},
pages = {2823--2841},
year = {2024},
url = {https://doi.org/10.1007/s00500-023-09545-3},
doi = {10.1007/S00500-023-09545-3},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/soco/YangLLX24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/QueirozTC24,
author = {Magno Queiroz and
Paul P. Tallon and
Tim Coltman},
editor = {Tung X. Bui},
title = {Data Value and the Search for a Single Source of Truth: What is it
and Why Does it Matter?},
booktitle = {57th Hawaii International Conference on System Sciences, {HICSS} 2024,
Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January
3-6, 2024},
pages = {6636--6645},
publisher = {ScholarSpace},
year = {2024},
url = {https://hdl.handle.net/10125/107181},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/QueirozTC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/visigrapp/FukudaKA24,
author = {Kohei Fukuda and
Takio Kurita and
Hiroaki Aizawa},
editor = {Petia Radeva and
Antonino Furnari and
Kadi Bouatouch and
A. Augusto de Sousa},
title = {Important Pixels Sampling for NeRF Training Based on Edge Values and
Squared Errors Between the Ground Truth and the Estimated Colors},
booktitle = {Proceedings of the 19th International Joint Conference on Computer
Vision, Imaging and Computer Graphics Theory and Applications, {VISIGRAPP}
2024, Volume 2: VISAPP, Rome, Italy, February 27-29, 2024},
pages = {102--111},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012346200003660},
doi = {10.5220/0012346200003660},
timestamp = {Mon, 08 Apr 2024 14:14:40 +0200},
biburl = {https://dblp.org/rec/conf/visigrapp/FukudaKA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-02543,
author = {Youquan Xian and
Peng Liu and
Dongcheng Li and
Xueying Zeng},
title = {Safeguarding the Truth of High-Value Price Oracle Task: {A} Dynamically
Adjusted Truth Discovery Method},
journal = {CoRR},
volume = {abs/2402.02543},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.02543},
doi = {10.48550/ARXIV.2402.02543},
eprinttype = {arXiv},
eprint = {2402.02543},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-02543.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/Vukovic23,
author = {Igor Vukovic},
title = {Truth-value unconstrained face clustering for identity resolution
in a distributed environment of criminal police information systems},
journal = {Eng. Appl. Artif. Intell.},
volume = {124},
pages = {106576},
year = {2023},
url = {https://doi.org/10.1016/j.engappai.2023.106576},
doi = {10.1016/J.ENGAPPAI.2023.106576},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eaai/Vukovic23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Diaconescu23,
author = {Razvan Diaconescu},
title = {Preservation in many-valued truth institutions},
journal = {Fuzzy Sets Syst.},
volume = {456},
pages = {38--71},
year = {2023},
url = {https://doi.org/10.1016/j.fss.2022.08.024},
doi = {10.1016/J.FSS.2022.08.024},
timestamp = {Sat, 04 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Diaconescu23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/PawlowskiU23,
author = {Pawel Pawlowski and
Rafal Urbaniak},
title = {Logic of informal provability with truth values},
journal = {Log. J. {IGPL}},
volume = {31},
number = {1},
pages = {172--193},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzab035},
doi = {10.1093/JIGPAL/JZAB035},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/PawlowskiU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfs/MengZHCCYZ23,
author = {Tianchuang Meng and
Wei Zhang and
Jin Huang and
Ye{-}Hwa Chen and
Chee{-}Meng Chew and
Diange Yang and
Zhihua Zhong},
title = {Fuzzy Reasoning Based on Truth-Value Progression: {A} Control-Theoretic
Design Approach},
journal = {Int. J. Fuzzy Syst.},
volume = {25},
number = {4},
pages = {1559--1578},
year = {2023},
url = {https://doi.org/10.1007/s40815-023-01459-4},
doi = {10.1007/S40815-023-01459-4},
timestamp = {Thu, 01 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfs/MengZHCCYZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/WuZC23,
author = {Xinxing Wu and
Zhiyi Zhu and
Guanrong Chen},
title = {Revisiting type-2 triangular norms on normal convex fuzzy truth values},
journal = {Inf. Sci.},
volume = {643},
pages = {119246},
year = {2023},
url = {https://doi.org/10.1016/j.ins.2023.119246},
doi = {10.1016/J.INS.2023.119246},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/WuZC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/YinB23,
author = {Hongkai Yin and
Hanoch Ben{-}Yami},
title = {The Quantified Argument Calculus with Two- and Three-valued Truth-valuational
Semantics},
journal = {Stud Logica},
volume = {111},
number = {2},
pages = {281--320},
year = {2023},
url = {https://doi.org/10.1007/s11225-022-10022-5},
doi = {10.1007/S11225-022-10022-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/YinB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/AzzaliniPRT23,
author = {Fabio Azzalini and
Davide Piantella and
Emanuele Rabosio and
Letizia Tanca},
title = {Enhancing domain-aware multi-truth data fusion using copy-based source
authority and value similarity},
journal = {{VLDB} J.},
volume = {32},
number = {3},
pages = {475--500},
year = {2023},
url = {https://doi.org/10.1007/s00778-022-00757-x},
doi = {10.1007/S00778-022-00757-X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vldb/AzzaliniPRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/AguzzoliG23,
author = {Stefano Aguzzoli and
Brunella Gerla},
title = {Averaging the Truth Value of Formulas in G{\"{o}}del Logic},
booktitle = {{IEEE} International Conference on Fuzzy Systems, {FUZZ} 2023, Incheon,
Republic of Korea, August 13-17, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/FUZZ52849.2023.10309744},
doi = {10.1109/FUZZ52849.2023.10309744},
timestamp = {Wed, 22 Nov 2023 08:29:10 +0100},
biburl = {https://dblp.org/rec/conf/fuzzIEEE/AguzzoliG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbc2/BartholicBMJ23,
author = {Michael Bartholic and
Eric William Burger and
Shin'ichiro Matsuo and
Taeho Jung},
title = {Reputation as Contextual Knowledge: Incentives and External Value
in Truthful Blockchain Oracles},
booktitle = {{IEEE} International Conference on Blockchain and Cryptocurrency,
{ICBC} 2023, Dubai, United Arab Emirates, May 1-5, 2023},
pages = {1--9},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICBC56567.2023.10174903},
doi = {10.1109/ICBC56567.2023.10174903},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icbc2/BartholicBMJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iske/LiWCJXL23,
author = {Nan Li and
Yanling Wang and
Yujie Cao and
Martinez Carracedo Jorge and
Lixian Xu and
Jun Liu},
title = {{\textdollar}({\textbackslash}alpha,{\textbackslash}beta){\textdollar}
- Lock Resolution Method of Linguistic Truth- Valued Intuitionistic
Fuzzy First-order Logic},
booktitle = {18th International Conference on Intelligent Systems and Knowledge
Engineering, {ISKE} 2023, Fuzhou, China, November 17-19, 2023},
pages = {444--449},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISKE60036.2023.10481169},
doi = {10.1109/ISKE60036.2023.10481169},
timestamp = {Sat, 20 Apr 2024 12:53:25 +0200},
biburl = {https://dblp.org/rec/conf/iske/LiWCJXL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/Rybakov23,
author = {Vladimir V. Rybakov},
editor = {George A. Tsihrintzis and
Carlos Toro and
Sebasti{\'{a}}n A. R{\'{\i}}os and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Algorithms for recognizing formulas with none-stable truth values
in branching time logic},
booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
Proceedings of the 27th International Conference KES-2023, Athens,
Greece, 6-8 September 2023},
series = {Procedia Computer Science},
volume = {225},
pages = {574--580},
publisher = {Elsevier},
year = {2023},
url = {https://doi.org/10.1016/j.procs.2023.10.042},
doi = {10.1016/J.PROCS.2023.10.042},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kes/Rybakov23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pam/BayerBMWHDK23,
author = {Jan Bayer and
Ben Chukwuemeka Benjamin and
Sourena Maroofi and
Thymen Wabeke and
Cristian Hesselman and
Andrzej Duda and
Maciej Korczynski},
editor = {Anna Brunstr{\"{o}}m and
Marcel Flores and
Marco Fiore},
title = {Operational Domain Name Classification: From Automatic Ground Truth
Generation to Adaptation to Missing Values},
booktitle = {Passive and Active Measurement - 24th International Conference, {PAM}
2023, Virtual Event, March 21-23, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13882},
pages = {564--591},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-28486-1\_24},
doi = {10.1007/978-3-031-28486-1\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pam/BayerBMWHDK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-07311,
author = {Gilles Dowek},
title = {Truth values algebras and proof normalization},
journal = {CoRR},
volume = {abs/2305.07311},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.07311},
doi = {10.48550/ARXIV.2305.07311},
eprinttype = {arXiv},
eprint = {2305.07311},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-07311.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/axioms/LiG22,
author = {Jiansheng Li and
Zengtai Gong},
title = {Graded Many-Valued Modal Logic and Its Graded Rough Truth},
journal = {Axioms},
volume = {11},
number = {7},
pages = {341},
year = {2022},
url = {https://doi.org/10.3390/axioms11070341},
doi = {10.3390/AXIOMS11070341},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/axioms/LiG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/CubilloTM22,
author = {Susana Cubillo and
Carmen Torres{-}Blanc and
Luis Magdalena},
title = {Automorphisms on normal and convex fuzzy truth values revisited},
journal = {Fuzzy Sets Syst.},
volume = {431},
pages = {143--159},
year = {2022},
url = {https://doi.org/10.1016/j.fss.2021.04.009},
doi = {10.1016/J.FSS.2021.04.009},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/CubilloTM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcisys/LuLLZLZ22,
author = {Yifan Lu and
Nan Li and
Hongmei Lin and
Hongliang Zheng and
Xiaofeng Li and
Li Zou},
title = {A Multiple and Multidimensional Linguistic Truth-Valued Reasoning
Method and its Application in Multimedia Teaching Evaluation},
journal = {Int. J. Comput. Intell. Syst.},
volume = {15},
number = {1},
pages = {34},
year = {2022},
url = {https://doi.org/10.1007/s44196-022-00085-6},
doi = {10.1007/S44196-022-00085-6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcisys/LuLLZLZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/AntunesRCC22,
author = {Henrique Antunes and
Abilio Rodrigues and
Walter Carnielli and
Marcelo E. Coniglio},
title = {Valuation Semantics for First-Order Logics of Evidence and Truth},
journal = {J. Philos. Log.},
volume = {51},
number = {5},
pages = {1141--1173},
year = {2022},
url = {https://doi.org/10.1007/s10992-022-09662-8},
doi = {10.1007/S10992-022-09662-8},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/AntunesRCC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Gratz22,
author = {Lukas Gr{\"{a}}tz},
title = {Truth tables for modal logics {T} and S4, by using three-valued non-deterministic
level semantics},
journal = {J. Log. Comput.},
volume = {32},
number = {1},
pages = {129--157},
year = {2022},
url = {https://doi.org/10.1093/logcom/exab068},
doi = {10.1093/LOGCOM/EXAB068},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Gratz22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/ZhangMAG22,
author = {Hanshu Zhang and
Fr{\'{e}}d{\'{e}}ric Moisan and
Palvi Aggarwal and
Cleotilde Gonzalez},
title = {Truth-Telling in a Sender-Receiver Game: Social Value Orientation
and Incentives},
journal = {Symmetry},
volume = {14},
number = {8},
pages = {1561},
year = {2022},
url = {https://doi.org/10.3390/sym14081561},
doi = {10.3390/SYM14081561},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/ZhangMAG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/ZhangH22,
author = {Wei Zhang and
Bao Qing Hu},
title = {The Idempotency of Convolution Operations on Fuzzy Truth Values},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {30},
number = {4},
pages = {990--998},
year = {2022},
url = {https://doi.org/10.1109/TFUZZ.2021.3051355},
doi = {10.1109/TFUZZ.2021.3051355},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/ZhangH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BarmanV22,
author = {Siddharth Barman and
Paritosh Verma},
title = {Truthful and Fair Mechanisms for Matroid-Rank Valuations},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {4801--4808},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20407},
doi = {10.1609/AAAI.V36I5.20407},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BarmanV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aila/HouLWPZ22,
author = {Tie Hou and
Nan Li and
Yanfang Wang and
Kuo Pang and
Li Zou},
editor = {Yixiang Chen and
Songmao Zhang},
title = {({\(\alpha\)}, {\(\beta\)}) - Colored Resolution Method of Linguistic
Truth-Valued Intuitionistic Fuzzy Logic},
booktitle = {Artificial Intelligence Logic and Applications - The 2nd International
Conference, {AILA} 2022, Shanghai, China, August 26-28, 2022, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1657},
pages = {79--90},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-981-19-7510-3\_6},
doi = {10.1007/978-981-19-7510-3\_6},
timestamp = {Tue, 13 Dec 2022 15:01:45 +0100},
biburl = {https://dblp.org/rec/conf/aila/HouLWPZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-10945,
author = {Shuangshuang Xue and
Xiang{-}Yang Li},
title = {Competitive Online Truthful Time-Sensitive-Valued Data Auction},
journal = {CoRR},
volume = {abs/2210.10945},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.10945},
doi = {10.48550/ARXIV.2210.10945},
eprinttype = {arXiv},
eprint = {2210.10945},
timestamp = {Tue, 25 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-10945.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/DiJ21,
author = {Boya Di and
Nicholas R. Jennings},
title = {A contract-based incentive mechanism for distributed meeting scheduling:
Can agents who value privacy tell the truth?},
journal = {Auton. Agents Multi Agent Syst.},
volume = {35},
number = {2},
pages = {35},
year = {2021},
url = {https://doi.org/10.1007/s10458-021-09516-8},
doi = {10.1007/S10458-021-09516-8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/DiJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/YangWL21,
author = {Li Yang and
Yuhui Wang and
Haixia Li},
title = {Research on the Disease Intelligent Diagnosis Model Based on Linguistic
Truth-Valued Concept Lattice},
journal = {Complex.},
volume = {2021},
pages = {6630077:1--6630077:11},
year = {2021},
url = {https://doi.org/10.1155/2021/6630077},
doi = {10.1155/2021/6630077},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/complexity/YangWL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/datamine/OikarinenTHP21,
author = {Emilia Oikarinen and
Henri Tiittanen and
Andreas Henelius and
Kai Puolam{\"{a}}ki},
title = {Detecting virtual concept drift of regressors without ground truth
values},
journal = {Data Min. Knowl. Discov.},
volume = {35},
number = {3},
pages = {726--747},
year = {2021},
url = {https://doi.org/10.1007/s10618-021-00739-7},
doi = {10.1007/S10618-021-00739-7},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/datamine/OikarinenTHP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/LiuW21,
author = {Zhi{-}qiang Liu and
Xue{-}ping Wang},
title = {Distributivity between extended t-norms and t-conorms on fuzzy truth
values},
journal = {Fuzzy Sets Syst.},
volume = {408},
pages = {44--56},
year = {2021},
url = {https://doi.org/10.1016/j.fss.2020.03.006},
doi = {10.1016/J.FSS.2020.03.006},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/LiuW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/LiuX21,
author = {Zhi{-}qiang Liu and
Qing{-}quan Xiong},
title = {Subalgebras of the truth value algebra of type-2 fuzzy sets},
journal = {Fuzzy Sets Syst.},
volume = {418},
pages = {51--63},
year = {2021},
url = {https://doi.org/10.1016/j.fss.2020.06.001},
doi = {10.1016/J.FSS.2020.06.001},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/LiuX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/SinghMDG21,
author = {Vishnu Singh and
Radko Mesiar and
Bapi Dutta and
Mark Goh},
title = {Residual implications on lattice {L} of intuitionistic truth values
based on powers of continuous t-norms},
journal = {Inf. Sci.},
volume = {550},
pages = {109--128},
year = {2021},
url = {https://doi.org/10.1016/j.ins.2020.10.040},
doi = {10.1016/J.INS.2020.10.040},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/SinghMDG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/WangZ21,
author = {Xingyuan Wang and
Maozhen Zhang},
title = {An image encryption algorithm based on new chaos and diffusion values
of a truth table},
journal = {Inf. Sci.},
volume = {579},
pages = {128--149},
year = {2021},
url = {https://doi.org/10.1016/j.ins.2021.07.096},
doi = {10.1016/J.INS.2021.07.096},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/WangZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/McCormick21,
author = {Miriam Schleifer McCormick},
title = {Value beyond truth-value: a practical response to skepticism},
journal = {Synth.},
volume = {198},
number = {9},
pages = {8601--8619},
year = {2021},
url = {https://doi.org/10.1007/s11229-020-02590-7},
doi = {10.1007/S11229-020-02590-7},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/synthese/McCormick21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Piazza21,
author = {Tommaso Piazza},
title = {The value of truth and the normativity of evidence},
journal = {Synth.},
volume = {198},
number = {6},
pages = {5067--5088},
year = {2021},
url = {https://doi.org/10.1007/s11229-019-02389-1},
doi = {10.1007/S11229-019-02389-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Piazza21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Pritchard21a,
author = {Duncan Pritchard},
title = {Intellectual virtues and the epistemic value of truth},
journal = {Synth.},
volume = {198},
number = {6},
pages = {5515--5528},
year = {2021},
url = {https://doi.org/10.1007/s11229-019-02418-z},
doi = {10.1007/S11229-019-02418-Z},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Pritchard21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/LiuW21,
author = {Zhi{-}qiang Liu and
Xue{-}ping Wang},
title = {On the Extensions of Overlap Functions and Grouping Functions to Fuzzy
Truth Values},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {29},
number = {6},
pages = {1423--1430},
year = {2021},
url = {https://doi.org/10.1109/TFUZZ.2020.2977873},
doi = {10.1109/TFUZZ.2020.2977873},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/LiuW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/ZhangH21,
author = {Wei Zhang and
Bao Qing Hu},
title = {The Distributive Laws of Convolution Operations Over Meet-Convolution
and Join-Convolution on Fuzzy Truth Values},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {29},
number = {2},
pages = {415--426},
year = {2021},
url = {https://doi.org/10.1109/TFUZZ.2019.2955892},
doi = {10.1109/TFUZZ.2019.2955892},
timestamp = {Tue, 20 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/ZhangH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BabaioffEF21,
author = {Moshe Babaioff and
Tomer Ezra and
Uriel Feige},
title = {Fair and Truthful Mechanisms for Dichotomous Valuations},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {5119--5126},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i6.16647},
doi = {10.1609/AAAI.V35I6.16647},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BabaioffEF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/Rohr21,
author = {Tabea Rohr},
editor = {Amrita Basu and
Gem Stapleton and
Sven Linker and
Catherine Legg and
Emmanuel Manalo and
Petrucio Viana},
title = {Truth Tables Without Truth Values: On 4.27 and 4.42 of Wittgenstein's
Tractatus},
booktitle = {Diagrammatic Representation and Inference - 12th International Conference,
Diagrams 2021, Virtual, September 28-30, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12909},
pages = {212--220},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86062-2\_19},
doi = {10.1007/978-3-030-86062-2\_19},
timestamp = {Wed, 22 Sep 2021 16:47:02 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/Rohr21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wilf/AguzzoliG21,
author = {Stefano Aguzzoli and
Brunella Gerla},
editor = {Angelo Ciaramella and
Corrado Mencar and
Susana Montes and
Stefano Rovetta},
title = {On fuzzy truth-values and quasi-standard completeness},
booktitle = {Proceedings of {WILF} 2021, the 13th International Workshop on Fuzzy
Logic and Applications {(WILF} 2021), Vietri sul Mare, Italy, December
20-22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3074},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3074/paper03.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:16 +0100},
biburl = {https://dblp.org/rec/conf/wilf/AguzzoliG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-05810,
author = {Siddharth Barman and
Paritosh Verma},
title = {Truthful and Fair Mechanisms for Matroid-Rank Valuations},
journal = {CoRR},
volume = {abs/2109.05810},
year = {2021},
url = {https://arxiv.org/abs/2109.05810},
eprinttype = {arXiv},
eprint = {2109.05810},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-05810.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-04436,
author = {Antti Valmari and
Lauri Hella},
title = {A Completeness Proof for {A} Regular Predicate Logic with Undefined
Truth Value},
journal = {CoRR},
volume = {abs/2112.04436},
year = {2021},
url = {https://arxiv.org/abs/2112.04436},
eprinttype = {arXiv},
eprint = {2112.04436},
timestamp = {Tue, 14 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-04436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/TohmeCG20,
author = {Fernando Tohm{\'{e}} and
Gianluca Caterina and
Rocco Gangle},
title = {Computing Truth Values in the Topos of Infinite Peirce's \emph{{\(\alpha\)}}-Existential
Graphs},
journal = {Appl. Math. Comput.},
volume = {385},
pages = {125343},
year = {2020},
url = {https://doi.org/10.1016/j.amc.2020.125343},
doi = {10.1016/J.AMC.2020.125343},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/TohmeCG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/BehounekD20b,
author = {Libor Behounek and
Anton{\'{\i}}n Dvor{\'{a}}k},
title = {Fuzzy relational modalities admitting truth-valueless propositions},
journal = {Fuzzy Sets Syst.},
volume = {388},
pages = {38--55},
year = {2020},
url = {https://doi.org/10.1016/j.fss.2019.08.001},
doi = {10.1016/J.FSS.2019.08.001},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/BehounekD20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/ZhangH20,
author = {Wei Zhang and
Baoqing Hu},
title = {A note on the lattice structure for subalgebras of the algebra of
truth values of type-2 fuzzy sets},
journal = {Fuzzy Sets Syst.},
volume = {382},
pages = {158--164},
year = {2020},
url = {https://doi.org/10.1016/j.fss.2019.05.011},
doi = {10.1016/J.FSS.2019.05.011},
timestamp = {Tue, 20 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/ZhangH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/ZhangH20a,
author = {Wei Zhang and
Bao Qing Hu},
title = {Note on "On the extension of nullnorms and uninorms to fuzzy truth
values" [Fuzzy Sets Syst. 352 {(2018)} 92-118]},
journal = {Fuzzy Sets Syst.},
volume = {395},
pages = {178--196},
year = {2020},
url = {https://doi.org/10.1016/j.fss.2019.09.009},
doi = {10.1016/J.FSS.2019.09.009},
timestamp = {Tue, 20 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/ZhangH20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/RePS20,
author = {Bruno Da R{\'{e}} and
Federico Matias Pailos and
Dami{\'{a}}n Enrique Szmuc},
title = {Theories of truth based on four-valued infectious logics},
journal = {Log. J. {IGPL}},
volume = {28},
number = {5},
pages = {712--746},
year = {2020},
url = {https://doi.org/10.1093/jigpal/jzy057},
doi = {10.1093/JIGPAL/JZY057},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/RePS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/WangL20,
author = {Xue{-}ping Wang and
Zhi{-}qiang Liu},
title = {Distributivity between extended nullnorms and uninorms on fuzzy truth
values},
journal = {Int. J. Approx. Reason.},
volume = {125},
pages = {1--13},
year = {2020},
url = {https://doi.org/10.1016/j.ijar.2020.06.006},
doi = {10.1016/J.IJAR.2020.06.006},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijar/WangL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/DiaoCXZD20,
author = {Hongyue Diao and
Yiming Cao and
Yingying Xu and
Li Zou and
Ansheng Deng},
title = {Approach for group decision making based on linguistic truth-valued
intuitionistic fuzzy lattice},
journal = {J. Intell. Fuzzy Syst.},
volume = {38},
number = {1},
pages = {895--904},
year = {2020},
url = {https://doi.org/10.3233/JIFS-179457},
doi = {10.3233/JIFS-179457},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jifs/DiaoCXZD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/LiuW20,
author = {Zhi{-}Qiang Liu and
Xue{-}Ping Wang},
title = {The Distributivity of Extended Operations on Fuzzy Truth Values},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {35},
number = {5-6},
pages = {565--583},
year = {2020},
url = {https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-35-number-5-6-2020/mvlsc-35-5-6-p-565-583/},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/LiuW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/OdintsovS20,
author = {Sergei P. Odintsov and
Stanislav O. Speranski},
title = {Belnap-Dunn Modal Logics: Truth constants vs. Truth Values},
journal = {Rev. Symb. Log.},
volume = {13},
number = {2},
pages = {416--435},
year = {2020},
url = {https://doi.org/10.1017/S1755020319000121},
doi = {10.1017/S1755020319000121},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/OdintsovS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aicts/ArshinskiyADN20,
author = {Leonid Arshinskiy and
Vadim Arshinskiy and
Mikhail Dunaev and
Marina Nitezhuk},
editor = {Igor V. Bychkov and
Zeljko Stojanov and
Andrei Tchernykh and
Alexander G. Feoktistov},
title = {Features of inference for abnormal truth values of premises in V\({}^{\mbox{TF}}\)-logics},
booktitle = {Proceedings of the 1st International Workshop on Advanced Information
and Computation Technologies and Systems, Irkutsk, Russia, December
7-11, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2858},
pages = {8--16},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2858/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:16 +0100},
biburl = {https://dblp.org/rec/conf/aicts/ArshinskiyADN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobihoc/ZhangSHP20,
author = {Meng Zhang and
Brian Swenson and
Jianwei Huang and
H. Vincent Poor},
editor = {Tommaso Melodia and
Eylem Ekici and
Alhussein Abouzeid and
Minghua Chen},
title = {Truthful mobile crowd sensing with interdependent valuations},
booktitle = {Mobihoc '20: The Twenty-first {ACM} International Symposium on Theory,
Algorithmic Foundations, and Protocol Design for Mobile Networks and
Mobile Computing, Virtual Event, USA, October 11-14, 2020},
pages = {91--100},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3397166.3409147},
doi = {10.1145/3397166.3409147},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobihoc/ZhangSHP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-10704,
author = {Moshe Babaioff and
Tomer Ezra and
Uriel Feige},
title = {Fair and Truthful Mechanisms for Dichotomous Valuations},
journal = {CoRR},
volume = {abs/2002.10704},
year = {2020},
url = {https://arxiv.org/abs/2002.10704},
eprinttype = {arXiv},
eprint = {2002.10704},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-10704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/KonikowskaA19,
author = {Beata Konikowska and
Arnon Avron},
title = {Reasoning about Covering-based Rough Sets Using Three Truth Values},
journal = {{FLAP}},
volume = {6},
number = {2},
pages = {361--382},
year = {2019},
url = {https://collegepublications.co.uk/ifcolog/?00031},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/KonikowskaA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/www/FangSWCN19,
author = {Xiu Susie Fang and
Quan Z. Sheng and
Xianzhi Wang and
Dianhui Chu and
Anne H. H. Ngu},
title = {SmartVote: a full-fledged graph-based model for multi-valued truth
discovery},
journal = {World Wide Web},
volume = {22},
number = {4},
pages = {1855--1885},
year = {2019},
url = {https://doi.org/10.1007/s11280-018-0629-3},
doi = {10.1007/S11280-018-0629-3},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/www/FangSWCN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icuimc/FengCL19,
author = {Jun Feng and
Ju Chen and
Jiamin Lu},
editor = {Sukhan Lee and
Roslan Ismail and
Hyunseung Choo},
title = {Novel Approach for Multi-valued Truth Discovery},
booktitle = {Proceedings of the 13th International Conference on Ubiquitous Information
Management and Communication, {IMCOM} 2019, Phuket, Thailand, January
4-6, 2019},
series = {Advances in Intelligent Systems and Computing},
volume = {935},
pages = {1015--1028},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19063-7\_80},
doi = {10.1007/978-3-030-19063-7\_80},
timestamp = {Tue, 07 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icuimc/FengCL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-04069,
author = {Henri Tiittanen and
Emilia Oikarinen and
Andreas Henelius and
Kai Puolam{\"{a}}ki},
title = {Estimating regression errors without ground truth values},
journal = {CoRR},
volume = {abs/1910.04069},
year = {2019},
url = {http://arxiv.org/abs/1910.04069},
eprinttype = {arXiv},
eprint = {1910.04069},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-04069.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/AngelisSS18,
author = {Francesco Luca De Angelis and
Giovanna Di Marzo Serugendo and
Andrzej Szalas},
title = {Paraconsistent Rule-based Reasoning with Graded Truth Values},
journal = {{FLAP}},
volume = {5},
number = {1},
pages = {185--220},
year = {2018},
url = {http://collegepublications.co.uk/ifcolog/?00021},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/AngelisSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Xie18,
author = {Aifang Xie},
title = {On the extension of nullnorms and uninorms to fuzzy truth values},
journal = {Fuzzy Sets Syst.},
volume = {352},
pages = {92--118},
year = {2018},
url = {https://doi.org/10.1016/j.fss.2018.03.002},
doi = {10.1016/J.FSS.2018.03.002},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Xie18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/ZhangW18,
author = {Wei Zhang and
Xue{-}ping Wang},
title = {Note on the absorption laws in the algebra of truth values of type-2
fuzzy sets},
journal = {Fuzzy Sets Syst.},
volume = {332},
pages = {111--115},
year = {2018},
url = {https://doi.org/10.1016/j.fss.2017.05.006},
doi = {10.1016/J.FSS.2017.05.006},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/ZhangW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/Qin18,
author = {Bin Qin},
title = {Structures of fuzzy truth values based on a type-2 fuzzy set},
journal = {J. Intell. Fuzzy Syst.},
volume = {35},
number = {3},
pages = {3553--3566},
year = {2018},
url = {https://doi.org/10.3233/JIFS-18082},
doi = {10.3233/JIFS-18082},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jifs/Qin18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/BerettaHRM18,
author = {Valentina Beretta and
S{\'{e}}bastien Harispe and
Sylvie Ranwez and
Isabelle Mougenot},
title = {Truth selection for truth discovery models exploiting ordering relationship
among values},
journal = {Knowl. Based Syst.},
volume = {159},
pages = {298--308},
year = {2018},
url = {https://doi.org/10.1016/j.knosys.2018.06.023},
doi = {10.1016/J.KNOSYS.2018.06.023},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/BerettaHRM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlc/ZhuLX18,
author = {Hua Zhu and
Yi Liu and
Yang Xu},
title = {On derivations of linguistic truth-valued lattice implication algebras},
journal = {Int. J. Mach. Learn. Cybern.},
volume = {9},
number = {4},
pages = {611--620},
year = {2018},
url = {https://doi.org/10.1007/s13042-016-0551-x},
doi = {10.1007/S13042-016-0551-X},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlc/ZhuLX18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/LiuTZZ18,
author = {Xin Liu and
Xuewei Tan and
Yunxia Zhang and
Li Zou},
title = {Credibility Factors Reasoning Based on Linguistic Truth-Valued Intuitionistic
Fuzzy Hesitancy Degree},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {30},
number = {2-3},
pages = {285--301},
year = {2018},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-30-number-2-3-2018/mvlsc-30-2-3-p-285-301/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/LiuTZZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Ferrari18,
author = {Filippo Ferrari},
title = {The value of minimalist truth},
journal = {Synth.},
volume = {195},
number = {3},
pages = {1103--1125},
year = {2018},
url = {https://doi.org/10.1007/s11229-016-1207-9},
doi = {10.1007/S11229-016-1207-9},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Ferrari18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/Dankova18,
author = {Martina Dankov{\'{a}}},
editor = {Jes{\'{u}}s Medina and
Manuel Ojeda{-}Aciego and
Jos{\'{e}} Luis Verdegay Galdeano and
Irina Perfilieva and
Bernadette Bouchon{-}Meunier and
Ronald R. Yager},
title = {Quantification over Undefined Truth Values},
booktitle = {Information Processing and Management of Uncertainty in Knowledge-Based
Systems. Applications - 17th International Conference, {IPMU} 2018,
C{\'{a}}diz, Spain, June 11-15, 2018, Proceedings, Part {III}},
series = {Communications in Computer and Information Science},
volume = {855},
pages = {199--208},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91479-4\_17},
doi = {10.1007/978-3-319-91479-4\_17},
timestamp = {Thu, 07 Jan 2021 08:57:40 +0100},
biburl = {https://dblp.org/rec/conf/ipmu/Dankova18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/FadaeiB17,
author = {Salman Fadaei and
Martin Bichler},
title = {Truthfulness with value-maximizing bidders: On the limits of approximation
in combinatorial markets},
journal = {Eur. J. Oper. Res.},
volume = {260},
number = {2},
pages = {767--777},
year = {2017},
url = {https://doi.org/10.1016/j.ejor.2016.12.031},
doi = {10.1016/J.EJOR.2016.12.031},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/FadaeiB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Salomaa17,
author = {Arto Salomaa},
editor = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis and
Jeffrey O. Shallit},
title = {Depth of Closed Classes of Truth Functions in Many-Valued Logic},
booktitle = {The Role of Theory in Computer Science - Essays Dedicated to Janusz
Brzozowski},
pages = {203--216},
publisher = {World Scientific},
year = {2017},
url = {https://doi.org/10.1142/9789813148208\_0009},
doi = {10.1142/9789813148208\_0009},
timestamp = {Mon, 09 Mar 2020 11:10:42 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Salomaa17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/WangL17,
author = {Manren Wang and
Xudong Luo},
editor = {H. Jaap van den Herik and
Ana Paula Rocha and
Joaquim Filipe},
title = {Paraconsistent Logic with Multiple Fuzzy Linguistic Truth-values},
booktitle = {Proceedings of the 9th International Conference on Agents and Artificial
Intelligence, {ICAART} 2017, Volume 2, Porto, Portugal, February 24-26,
2017},
pages = {53--62},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006117200530062},
doi = {10.5220/0006117200530062},
timestamp = {Wed, 14 Jun 2017 14:14:15 +0200},
biburl = {https://dblp.org/rec/conf/icaart/WangL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideal/ShiZXLM17,
author = {Yuanyuan Shi and
Li Zou and
Yingying Xu and
Siyuan Luo and
Jia Meng},
editor = {Hujun Yin and
Yang Gao and
Songcan Chen and
Yimin Wen and
Guoyong Cai and
Tianlong Gu and
Junping Du and
Antonio J. Tall{\'{o}}n{-}Ballesteros and
Min{-}Ling Zhang},
title = {Linguistic Truth-Valued Multi-Attribute Decision Making Approach Based
on {TOPSIS}},
booktitle = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2017
- 18th International Conference, Guilin, China, October 30 - November
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10585},
pages = {481--488},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68935-7\_52},
doi = {10.1007/978-3-319-68935-7\_52},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ideal/ShiZXLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/HuangWZJC17,
author = {Zhe Huang and
S. Matthew Weinberg and
Liang Zheng and
Carlee Joe{-}Wong and
Mung Chiang},
title = {Discovering valuations and enforcing truthfulness in a deadline-aware
scheduler},
booktitle = {2017 {IEEE} Conference on Computer Communications, {INFOCOM} 2017,
Atlanta, GA, USA, May 1-4, 2017},
pages = {1--9},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/INFOCOM.2017.8056975},
doi = {10.1109/INFOCOM.2017.8056975},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/infocom/HuangWZJC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/BohnA17,
author = {Ocke{-}Schwen Bohn and
Trine Askj{\ae}r{-}J{\o}rgensen},
editor = {Francisco Lacerda},
title = {A Comparison of Danish Listeners' Processing Cost in Judging the Truth
Value of Norwegian, Swedish, and English Sentences},
booktitle = {Interspeech 2017, 18th Annual Conference of the International Speech
Communication Association, Stockholm, Sweden, August 20-24, 2017},
pages = {1741--1744},
publisher = {{ISCA}},
year = {2017},
url = {https://doi.org/10.21437/Interspeech.2017-9},
doi = {10.21437/INTERSPEECH.2017-9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interspeech/BohnA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iske/Xu17a,
author = {Weitao Xu},
editor = {Tianrui Li and
Luis Mart{\'{\i}}nez{-}L{\'{o}}pez and
Yun Li},
title = {{\(\alpha\)}-generalized resolution method based on linguistic truth-valued
lattice-valued propositional logic system},
booktitle = {12th International Conference on Intelligent Systems and Knowledge
Engineering, {ISKE} 2017, Nanjing, China, November 24-26, 2017},
pages = {1--5},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ISKE.2017.8258781},
doi = {10.1109/ISKE.2017.8258781},
timestamp = {Fri, 16 Sep 2022 08:16:50 +0200},
biburl = {https://dblp.org/rec/conf/iske/Xu17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kmo/LiLC17,
author = {Xinyu Li and
Xudong Luo and
Jinsheng Chen},
editor = {Lorna Uden and
Wei Lu and
I{-}Hsien Ting},
title = {A Minimal Temporal Logic with Multiple Fuzzy Truth-Values},
booktitle = {Knowledge Management in Organizations - 12th International Conference,
{KMO} 2017, Beijing, China, August 21-24, 2017, Proceedings},
series = {Communications in Computer and Information Science},
volume = {731},
pages = {365--377},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-62698-7\_30},
doi = {10.1007/978-3-319-62698-7\_30},
timestamp = {Wed, 23 Aug 2017 11:08:36 +0200},
biburl = {https://dblp.org/rec/conf/kmo/LiLC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rskt/AngelisSDS17,
author = {Francesco Luca De Angelis and
Giovanna Di Marzo Serugendo and
Barbara Dunin{-}Keplicz and
Andrzej Szalas},
editor = {Lech Polkowski and
Yiyu Yao and
Piotr Artiemjew and
Davide Ciucci and
Dun Liu and
Dominik Slezak and
Beata Zielosko},
title = {Heterogeneous Approximate Reasoning with Graded Truth Values},
booktitle = {Rough Sets - International Joint Conference, {IJCRS} 2017, Olsztyn,
Poland, July 3-7, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10313},
pages = {61--82},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60837-2\_6},
doi = {10.1007/978-3-319-60837-2\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rskt/AngelisSDS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/Fang17,
author = {Xiu Susie Fang},
editor = {Rick Barrett and
Rick Cummings and
Eugene Agichtein and
Evgeniy Gabrilovich},
title = {Truth Discovery from Conflicting Multi-Valued Objects},
booktitle = {Proceedings of the 26th International Conference on World Wide Web
Companion, Perth, Australia, April 3-7, 2017},
pages = {711--715},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3041021.3053374},
doi = {10.1145/3041021.3053374},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/Fang17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/FangSWN17,
author = {Xiu Susie Fang and
Quan Z. Sheng and
Xianzhi Wang and
Anne H. H. Ngu},
editor = {Rick Barrett and
Rick Cummings and
Eugene Agichtein and
Evgeniy Gabrilovich},
title = {Value Veracity Estimation for Multi-Truth Objects via a Graph-Based
Approach},
booktitle = {Proceedings of the 26th International Conference on World Wide Web
Companion, Perth, Australia, April 3-7, 2017},
pages = {777--778},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3041021.3054212},
doi = {10.1145/3041021.3054212},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/FangSWN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Li16,
author = {Dechao Li},
title = {Notes on "Exact calculations of extended logical operations on fuzzy
truth values"},
journal = {Fuzzy Sets Syst.},
volume = {283},
pages = {140--145},
year = {2016},
url = {https://doi.org/10.1016/j.fss.2014.11.025},
doi = {10.1016/J.FSS.2014.11.025},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Li16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/ZouWW16,
author = {Li Zou and
Xin Wen and
Yingxin Wang},
title = {Linguistic truth-valued intuitionistic fuzzy reasoning with applications
in human factors engineering},
journal = {Inf. Sci.},
volume = {327},
pages = {201--216},
year = {2016},
url = {https://doi.org/10.1016/j.ins.2015.07.048},
doi = {10.1016/J.INS.2015.07.048},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/ZouWW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaciii/UeharaH16,
author = {Kiyohiko Uehara and
Kaoru Hirota},
title = {Multi-Level Control of Fuzzy-Constraint Propagation via Evaluations
with Linguistic Truth Values in Generalized-Mean-Based Inference},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
volume = {20},
number = {2},
pages = {355--377},
year = {2016},
url = {https://doi.org/10.20965/jaciii.2016.p0355},
doi = {10.20965/JACIII.2016.P0355},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaciii/UeharaH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DobzinskiV16,
author = {Shahar Dobzinski and
Jan Vondr{\'{a}}k},
title = {Impossibility Results for Truthful Combinatorial Auctions with Submodular
Valuations},
journal = {J. {ACM}},
volume = {63},
number = {1},
pages = {5:1--5:19},
year = {2016},
url = {https://doi.org/10.1145/2786754},
doi = {10.1145/2786754},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/DobzinskiV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/MendezR16,
author = {Jos{\'{e}} M. M{\'{e}}ndez and
Gemma Robles},
title = {Strengthening Brady's Paraconsistent 4-Valued Logic {BN4} with Truth-Functional
Modal Operators},
journal = {J. Log. Lang. Inf.},
volume = {25},
number = {2},
pages = {163--189},
year = {2016},
url = {https://doi.org/10.1007/s10849-016-9237-8},
doi = {10.1007/S10849-016-9237-8},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/MendezR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/XuTZ18,
author = {Benqiang Xu and
Xuewei Tan and
Li Zou},
title = {{\unicode{22522}}{\unicode{20110}}{\unicode{30495}}{\unicode{20540}}{\unicode{25903}}{\unicode{25345}}{\unicode{24230}}{\unicode{30340}}{\unicode{30452}}{\unicode{35273}}{\unicode{27169}}{\unicode{31946}}{\unicode{25512}}{\unicode{29702}}{\unicode{26041}}{\unicode{27861}}
(Intuitionistic Fuzzy Reasoning Based on Truth-valued Support Degrees)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {43},
number = {3},
pages = {68--71},
year = {2016},
url = {https://doi.org/10.11896/j.issn.1002-137X.2016.03.013},
doi = {10.11896/J.ISSN.1002-137X.2016.03.013},
timestamp = {Fri, 20 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsjkx/XuTZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/ZhuHG16,
author = {Naidiao Zhu and
Xiaojing Hui and
Xiaoli Gao},
title = {G{\unicode{58734}}del n{\unicode{20540}}{\unicode{21629}}{\unicode{39064}}{\unicode{36923}}{\unicode{36753}}{\unicode{31995}}{\unicode{32479}}{\unicode{20013}}{\unicode{21629}}{\unicode{39064}}{\unicode{20844}}{\unicode{24335}}{\unicode{30340}}t{\unicode{30495}}{\unicode{24230}}{\unicode{21450}}{\unicode{36817}}{\unicode{20284}}{\unicode{25512}}{\unicode{29702}}
(t Truth Degree of Formulas and Approximate Reasoning in G{\unicode{58734}}del
n-valued Propositional Logic System)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {43},
number = {{Z11}},
pages = {97--102},
year = {2016},
url = {https://doi.org/10.11896/j.issn.1002-137X.2016.11A.021},
doi = {10.11896/J.ISSN.1002-137X.2016.11A.021},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsjkx/ZhuHG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/teco/ChenCKMV16,
author = {Yiling Chen and
Stephen Chong and
Ian A. Kash and
Tal Moran and
Salil P. Vadhan},
title = {Truthful Mechanisms for Agents That Value Privacy},
journal = {{ACM} Trans. Economics and Comput.},
volume = {4},
number = {3},
pages = {13:1--13:30},
year = {2016},
url = {https://doi.org/10.1145/2892555},
doi = {10.1145/2892555},
timestamp = {Fri, 09 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/teco/ChenCKMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Sedlar16,
author = {Igor Sedl{\'{a}}r},
editor = {Lev D. Beklemishev and
St{\'{e}}phane Demri and
Andr{\'{a}}s Mat{\'{e}}},
title = {Propositional dynamic logic with Belnapian truth values},
booktitle = {Advances in Modal Logic 11, proceedings of the 11th conference on
"Advances in Modal Logic," held in Budapest, Hungary, August 30 -
September 2, 2016},
pages = {503--519},
publisher = {College Publications},
year = {2016},
url = {http://www.aiml.net/volumes/volume11/Sedlar.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Sedlar16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/XiaoMDZ16,
author = {Lin Xiao and
Jia Meng and
Shifei Ding and
Li Zou},
title = {A resolution method for linguistic truth-valued intuitionistic fuzzy
first-order logic},
booktitle = {2016 {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE}
2016, Vancouver, BC, Canada, July 24-29, 2016},
pages = {904--906},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FUZZ-IEEE.2016.7737784},
doi = {10.1109/FUZZ-IEEE.2016.7737784},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/fuzzIEEE/XiaoMDZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/JainJK16,
author = {Akshay Jain and
Tianqi Jiang and
James M. Keller},
editor = {Jo{\~{a}}o Paulo Carvalho and
Marie{-}Jeanne Lesot and
Uzay Kaymak and
Susana M. Vieira and
Bernadette Bouchon{-}Meunier and
Ronald R. Yager},
title = {Impact of the Shape of Membership Functions on the Truth Values of
Linguistic Protoform Summaries},
booktitle = {Information Processing and Management of Uncertainty in Knowledge-Based
Systems - 16th International Conference, {IPMU} 2016, Eindhoven, The
Netherlands, June 20-24, 2016, Proceedings, Part {I}},
series = {Communications in Computer and Information Science},
volume = {610},
pages = {204--213},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40596-4\_18},
doi = {10.1007/978-3-319-40596-4\_18},
timestamp = {Tue, 07 May 2024 20:09:54 +0200},
biburl = {https://dblp.org/rec/conf/ipmu/JainJK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isnn/Grigoriev16,
author = {Oleg Grigoriev},
editor = {Long Cheng and
Qingshan Liu and
Andrey Ronzhin},
title = {Generalized Truth Values: From Logic to the Applications in Cognitive
Sciences},
booktitle = {Advances in Neural Networks - {ISNN} 2016 - 13th International Symposium
on Neural Networks, {ISNN} 2016, St. Petersburg, Russia, July 6-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9719},
pages = {712--719},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40663-3\_82},
doi = {10.1007/978-3-319-40663-3\_82},
timestamp = {Sat, 07 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isnn/Grigoriev16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sagt/FadaeiB16,
author = {Salman Fadaei and
Martin Bichler},
editor = {Martin Gairing and
Rahul Savani},
title = {Truthfulness and Approximation with Value-Maximizing Bidders},
booktitle = {Algorithmic Game Theory - 9th International Symposium, {SAGT} 2016,
Liverpool, UK, September 19-21, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9928},
pages = {235--246},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53354-3\_19},
doi = {10.1007/978-3-662-53354-3\_19},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/sagt/FadaeiB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FadaeiB16,
author = {Salman Fadaei and
Martin Bichler},
title = {Truthfulness with Value-Maximizing Bidders},
journal = {CoRR},
volume = {abs/1607.03821},
year = {2016},
url = {http://arxiv.org/abs/1607.03821},
eprinttype = {arXiv},
eprint = {1607.03821},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FadaeiB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Sedlar16,
author = {Igor Sedl{\'{a}}r},
title = {Propositional dynamic logic with Belnapian truth values},
journal = {CoRR},
volume = {abs/1608.06084},
year = {2016},
url = {http://arxiv.org/abs/1608.06084},
eprinttype = {arXiv},
eprint = {1608.06084},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Sedlar16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/HardingWW15,
author = {John Harding and
Carol L. Walker and
Elbert A. Walker},
title = {Partial Orders on Fuzzy Truth Value Algebras},
journal = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
volume = {23},
number = {2},
pages = {193--220},
year = {2015},
url = {https://doi.org/10.1142/S0218488515500087},
doi = {10.1142/S0218488515500087},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijufks/HardingWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/inffus/WanD15,
author = {Shu{-}Ping Wan and
Jiu{-}Ying Dong},
title = {Interval-valued intuitionistic fuzzy mathematical programming method
for hybrid multi-criteria group decision making with interval-valued
intuitionistic fuzzy truth degrees},
journal = {Inf. Fusion},
volume = {26},
pages = {49--65},
year = {2015},
url = {https://doi.org/10.1016/j.inffus.2015.01.006},
doi = {10.1016/J.INFFUS.2015.01.006},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/inffus/WanD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/WanL15,
author = {Shu{-}Ping Wan and
Deng{-}Feng Li},
title = {Fuzzy mathematical programming approach to heterogeneous multiattribute
decision-making with interval-valued intuitionistic fuzzy truth degrees},
journal = {Inf. Sci.},
volume = {325},
pages = {484--503},
year = {2015},
url = {https://doi.org/10.1016/j.ins.2015.07.014},
doi = {10.1016/J.INS.2015.07.014},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/WanL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Wang15,
author = {Chun Yong Wang},
title = {Notes on aggregation of fuzzy truth values},
journal = {Inf. Sci.},
volume = {296},
pages = {119--127},
year = {2015},
url = {https://doi.org/10.1016/j.ins.2014.10.052},
doi = {10.1016/J.INS.2014.10.052},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/Wang15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Wang15c,
author = {Chun Yong Wang},
title = {Generalized aggregation of fuzzy truth values},
journal = {Inf. Sci.},
volume = {324},
pages = {208--216},
year = {2015},
url = {https://doi.org/10.1016/j.ins.2015.06.038},
doi = {10.1016/J.INS.2015.06.038},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/Wang15c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/HeHS15,
author = {Jinrui He and
Xiaojing Hui and
Jingning Shuang},
title = {{\unicode{22235}}{\unicode{20540}}G{\unicode{58734}}del{\unicode{21629}}{\unicode{39064}}{\unicode{36923}}{\unicode{36753}}{\unicode{31995}}{\unicode{32479}}{\unicode{20013}}{\unicode{20844}}{\unicode{24335}}{\unicode{30340}}{\unicode{27010}}{\unicode{29575}}{\unicode{30495}}{\unicode{24230}}{\unicode{29702}}{\unicode{35770}}
(Theory of Probability Truth Degree in G{\unicode{58734}}del 4-valued
Propositional Logic System)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {42},
number = {{Z11}},
pages = {75--79},
year = {2015},
url = {http://www.jsjkx.com/CN/Y2015/V42/IZ11/75},
doi = {Y2015/V42/IZ11/75},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsjkx/HeHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/Zhang0C15,
author = {Jiafeng Zhang and
Yang Xu and
Qin Chen},
title = {{\unicode{35821}}{\unicode{35328}}{\unicode{30495}}{\unicode{20540}}{\unicode{26684}}{\unicode{20540}}{\unicode{21629}}{\unicode{39064}}{\unicode{36923}}{\unicode{36753}}{\unicode{20013}}{\unicode{30340}}{\(\alpha\)}-{\unicode{35821}}{\unicode{20041}}{\unicode{24402}}{\unicode{32467}}{\unicode{26041}}{\unicode{27861}}
({\(\alpha\)}-Semantic Resolution Method Based on Linguistic Truth-valued
Lattice-valued Propositional Logic)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {42},
number = {11},
pages = {123--129},
year = {2015},
url = {https://doi.org/10.11896/j.issn.1002-137X.2015.11.026},
doi = {10.11896/J.ISSN.1002-137X.2015.11.026},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsjkx/Zhang0C15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/ZouWT15,
author = {Li Zou and
Ying Wang and
Xuewei Tan},
title = {{\unicode{20845}}{\unicode{20803}}{\unicode{35821}}{\unicode{35328}}{\unicode{20540}}{\unicode{30452}}{\unicode{35273}}{\unicode{27169}}{\unicode{31946}}{\unicode{30340}}{\unicode{37329}}{\unicode{34701}}{\unicode{20915}}{\unicode{31574}}{\unicode{25512}}{\unicode{29702}}{\unicode{26041}}{\unicode{27861}}
(Financial Decision-making Reasoning Method of 6-element Linguistic
Truth-valued Intuitionistic Fuzzy System)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {42},
number = {{Z11}},
pages = {67--71},
year = {2015},
url = {http://www.jsjkx.com/CN/Y2015/V42/IZ11/67},
doi = {Y2015/V42/IZ11/67},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsjkx/ZouWT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/OdintsovW15,
author = {Sergei P. Odintsov and
Heinrich Wansing},
title = {The Logic of Generalized Truth Values and the Logic of Bilattices},
journal = {Stud Logica},
volume = {103},
number = {1},
pages = {91--112},
year = {2015},
url = {https://doi.org/10.1007/s11225-014-9546-3},
doi = {10.1007/S11225-014-9546-3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/OdintsovW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/JainK15,
author = {Akshay Jain and
James M. Keller},
editor = {Adnan Yazici and
Nikhil R. Pal and
Uzay Kaymak and
Trevor Martin and
Hisao Ishibuchi and
Chin{-}Teng Lin and
Jo{\~{a}}o M. C. Sousa and
B{\"{u}}lent T{\"{u}}tmez},
title = {On the computation of semantically ordered truth values of linguistic
protoform summaries},
booktitle = {2015 {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE}
2015, Istanbul, Turkey, August 2-5, 2015},
pages = {1--8},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FUZZ-IEEE.2015.7337822},
doi = {10.1109/FUZZ-IEEE.2015.7337822},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/fuzzIEEE/JainK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icycsee/WangWZ15,
author = {Yingxin Wang and
Xin Wen and
Li Zou},
editor = {Hongzhi Wang and
Haoliang Qi and
Wanxiang Che and
Zhaowen Qiu and
Leilei Kong and
Zhongyuan Han and
Junyu Lin and
Zeguang Lu},
title = {10-Elements Linguistic Truth-Valued Intuitionistic Fuzzy First-Order
Logic System},
booktitle = {Intelligent Computation in Big Data Era - International Conference
of Young Computer Scientists, Engineers and Educators, {ICYCSEE} 2015,
Harbin, China, January 10-12, 2015. Proceedings},
series = {Communications in Computer and Information Science},
volume = {503},
pages = {407--417},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46248-5\_49},
doi = {10.1007/978-3-662-46248-5\_49},
timestamp = {Wed, 06 Jan 2021 14:57:34 +0100},
biburl = {https://dblp.org/rec/conf/icycsee/WangWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icycsee/ZouLWQ15,
author = {Li Zou and
Di Liu and
Yingxin Wang and
Juan Qu},
editor = {Hongzhi Wang and
Haoliang Qi and
Wanxiang Che and
Zhaowen Qiu and
Leilei Kong and
Zhongyuan Han and
Junyu Lin and
Zeguang Lu},
title = {Resolution Method of Six-Element Linguistic Truth-Valued First-Order
Logic System},
booktitle = {Intelligent Computation in Big Data Era - International Conference
of Young Computer Scientists, Engineers and Educators, {ICYCSEE} 2015,
Harbin, China, January 10-12, 2015. Proceedings},
series = {Communications in Computer and Information Science},
volume = {503},
pages = {31--37},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46248-5\_5},
doi = {10.1007/978-3-662-46248-5\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icycsee/ZouLWQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iske/YangWX15,
author = {Li Yang and
Yuhui Wang and
Yang Xu},
title = {Tacit Knowledge Mining Algorithm Based on Linguistic Truth-Valued
Concept Lattice},
booktitle = {10th International Conference on Intelligent Systems and Knowledge
Engineering, {ISKE} 2015, Taipei, Taiwan, November 24-27, 2015},
pages = {121--127},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ISKE.2015.59},
doi = {10.1109/ISKE.2015.59},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iske/YangWX15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/RoblesM14,
author = {Gemma Robles and
Jos{\'{e}} M. M{\'{e}}ndez},
title = {A Routley-Meyer semantics for truth-preserving and well-determined
{\L}ukasiewicz 3-valued logics},
journal = {Log. J. {IGPL}},
volume = {22},
number = {1},
pages = {1--23},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt017},
doi = {10.1093/JIGPAL/JZT017},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/RoblesM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcisys/ZhangXH14,
author = {Jiafeng Zhang and
Yang Xu and
Xingxing He},
title = {{\(\alpha\)}-Generalized Semantic Resolution Method in Linguistic
Truth-valued Propositional Logic \emph{L}\({}_{\mbox{\emph{V}(\emph{n{\texttimes}}2)}}\)P(X)},
journal = {Int. J. Comput. Intell. Syst.},
volume = {7},
number = {1},
pages = {160--171},
year = {2014},
url = {https://doi.org/10.1080/18756891.2013.857895},
doi = {10.1080/18756891.2013.857895},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcisys/ZhangXH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Takac14,
author = {Zdenko Tak{\'{a}}c},
title = {Aggregation of fuzzy truth values},
journal = {Inf. Sci.},
volume = {271},
pages = {1--13},
year = {2014},
url = {https://doi.org/10.1016/j.ins.2014.02.116},
doi = {10.1016/J.INS.2014.02.116},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/Takac14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/JainMNY14,
author = {Navendu Jain and
Ishai Menache and
Joseph Naor and
Jonathan Yaniv},
title = {A Truthful Mechanism for Value-Based Scheduling in Cloud Computing},
journal = {Theory Comput. Syst.},
volume = {54},
number = {3},
pages = {388--406},
year = {2014},
url = {https://doi.org/10.1007/s00224-013-9449-0},
doi = {10.1007/S00224-013-9449-0},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/JainMNY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Parlamento14,
author = {Franco Parlamento},
title = {Truth-Value Semantics and Functional Extensions for Classical Logic
of Partial Terms Based on Equality},
journal = {Notre Dame J. Formal Log.},
volume = {55},
number = {3},
pages = {383--395},
year = {2014},
url = {https://doi.org/10.1215/00294527-2688078},
doi = {10.1215/00294527-2688078},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Parlamento14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Beziau14,
author = {Jean{-}Yves B{\'{e}}ziau},
title = {Yaroslav Shramko and Heinrich Wansing, Truth and Falsehood - An Inquiry
into Generalized Logical Values},
journal = {Stud Logica},
volume = {102},
number = {5},
pages = {1079--1085},
year = {2014},
url = {https://doi.org/10.1007/s11225-014-9587-7},
doi = {10.1007/S11225-014-9587-7},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Beziau14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/HeXLC14,
author = {Xingxing He and
Yang Xu and
Jun Liu and
Shuwei Chen},
title = {A unified algorithm for finding {\textdollar}{\textdollar}k{\textdollar}{\textdollar}
k -IESFs in linguistic truth-valued lattice-valued propositional logic},
journal = {Soft Comput.},
volume = {18},
number = {11},
pages = {2135--2147},
year = {2014},
url = {https://doi.org/10.1007/s00500-013-1188-2},
doi = {10.1007/S00500-013-1188-2},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/HeXLC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coginfocom/Chen14,
author = {Ray{-}Ming Chen},
title = {A dynamical model for individual and social cognitive infocommunications
over truth values},
booktitle = {5th {IEEE} Conference on Cognitive Infocommunications, CogInfoCom
2014, Vietri sul Mare, Italy, 5-7 November 2014},
pages = {385--389},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CogInfoCom.2014.7020484},
doi = {10.1109/COGINFOCOM.2014.7020484},
timestamp = {Thu, 24 Nov 2022 16:44:05 +0100},
biburl = {https://dblp.org/rec/conf/coginfocom/Chen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/SpychalskaKW14,
author = {Maria Spychalska and
Jarmo Kontinen and
Markus Werning},
editor = {Paul Bello and
Marcello Guarini and
Marjorie McShane and
Brian Scassellati},
title = {Electrophysiology of Pragmatic Processing: Exploring the Processing
Cost of the Scalar Implicature in the Truth-Value Judgment Task},
booktitle = {Proceedings of the 36th Annual Meeting of the Cognitive Science Society,
CogSci 2014, Quebec City, Canada, July 23-26, 2014},
publisher = {cognitivesciencesociety.org},
year = {2014},
url = {https://escholarship.org/uc/item/6566q5j6},
timestamp = {Tue, 30 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/SpychalskaKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/is/WilbikKKP14,
author = {Anna Wilbik and
Uzay Kaymak and
James M. Keller and
Mihail Popescu},
editor = {Plamen P. Angelov and
Krassimir T. Atanassov and
Lyubka Doukovska and
Mincho Hadjiski and
Vladimir Simov Jotsov and
Janusz Kacprzyk and
Nikola K. Kasabov and
Sotir Sotirov and
Eulalia Szmidt and
Slawomir Zadrozny},
title = {Evaluation of the Truth Value of Linguistic Summaries - Case with
Non-monotonic Quantifiers},
booktitle = {Intelligent Systems'2014 - Proceedings of the 7th International Conference
Intelligent Systems {IEEE} IS'2014, September 24-26, 2014, Warsaw,
Poland, Volume 1: Mathematical Foundations, Theory, Analyses},
series = {Advances in Intelligent Systems and Computing},
volume = {322},
pages = {69--79},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11313-5\_7},
doi = {10.1007/978-3-319-11313-5\_7},
timestamp = {Fri, 09 Apr 2021 18:42:01 +0200},
biburl = {https://dblp.org/rec/conf/is/WilbikKKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jam/MaZL13,
author = {Yingcang Ma and
Juanjuan Zhang and
Huan Liu},
title = {Truth Degrees Theory and Approximate Reasoning in 3-Valued Propositional
Pre-Rough Logic},
journal = {J. Appl. Math.},
volume = {2013},
pages = {592738:1--592738:7},
year = {2013},
url = {https://doi.org/10.1155/2013/592738},
doi = {10.1155/2013/592738},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jam/MaZL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/ZouSPX13,
author = {Li Zou and
Peng Shi and
Zheng Pei and
Yang Xu},
title = {On an algebra of linguistic truth-valued intuitionistic lattice-valued
logic},
journal = {J. Intell. Fuzzy Syst.},
volume = {24},
number = {3},
pages = {447--456},
year = {2013},
url = {https://doi.org/10.3233/IFS-2012-0565},
doi = {10.3233/IFS-2012-0565},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jifs/ZouSPX13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlc/ZouLPH13,
author = {Li Zou and
Xin Liu and
Zheng Pei and
Degen Huang},
title = {Implication operators on the set of {\(\vee\)}-irreducible element
in the linguistic truth-valued intuitionistic fuzzy lattice},
journal = {Int. J. Mach. Learn. Cybern.},
volume = {4},
number = {4},
pages = {365--372},
year = {2013},
url = {https://doi.org/10.1007/s13042-012-0100-1},
doi = {10.1007/S13042-012-0100-1},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlc/ZouLPH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Gil13,
author = {{\`{A}}ngel J. Gil},
title = {On Gentzen Relations Associated with Finite-valued Logics Preserving
Degrees of Truth},
journal = {Stud Logica},
volume = {101},
number = {4},
pages = {749--781},
year = {2013},
url = {https://doi.org/10.1007/s11225-013-9497-0},
doi = {10.1007/S11225-013-9497-0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Gil13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/ZaitsevS13,
author = {Dmitry Zaitsev and
Yaroslav Shramko},
title = {Bi-facial Truth: a Case for Generalized Truth Values},
journal = {Stud Logica},
volume = {101},
number = {6},
pages = {1299--1318},
year = {2013},
url = {https://doi.org/10.1007/s11225-013-9534-z},
doi = {10.1007/S11225-013-9534-Z},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/ZaitsevS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esslli/Zehr13,
author = {J{\'{e}}r{\'{e}}my Zehr},
editor = {Margot Colinet and
Sophia Katrenko and
Rasmus K. Rendsvig},
title = {{ST5:} {A} 5-Valued Logic for Truth-Value Judgments Involving Vagueness
and Presuppositions},
booktitle = {Pristine Perspectives on Logic, Language, and Computation - {ESSLLI}
2012 and {ESSLLI} 2013 Student Sessions. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8607},
pages = {247--265},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-44116-9\_16},
doi = {10.1007/978-3-662-44116-9\_16},
timestamp = {Thu, 14 Oct 2021 09:51:18 +0200},
biburl = {https://dblp.org/rec/conf/esslli/Zehr13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmlc/QinX13,
author = {Xiaoyan Qin and
Yang Xu},
title = {Theorey of vector truth degrees of formulas in two-valued predicate
logic},
booktitle = {International Conference on Machine Learning and Cybernetics, {ICMLC}
2013, Tianjin, China, July 14-17, 2013},
pages = {1724--1728},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICMLC.2013.6890876},
doi = {10.1109/ICMLC.2013.6890876},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmlc/QinX13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifsa/HardingWW13,
author = {John Harding and
Carol L. Walker and
Elbert A. Walker},
title = {Partial orders on the truth value algebra of finite type-2 fuzzy sets},
booktitle = {Joint {IFSA} World Congress and {NAFIPS} Annual Meeting, {IFSA/NAFIPS}
2013, Edmonton, Alberta, Canada, June 24-28, 2013},
pages = {163--168},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IFSA-NAFIPS.2013.6608393},
doi = {10.1109/IFSA-NAFIPS.2013.6608393},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ifsa/HardingWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigecom/ChenCKMV13,
author = {Yiling Chen and
Stephen Chong and
Ian A. Kash and
Tal Moran and
Salil P. Vadhan},
editor = {Michael J. Kearns and
R. Preston McAfee and
{\'{E}}va Tardos},
title = {Truthful mechanisms for agents that value privacy},
booktitle = {Proceedings of the fourteenth {ACM} Conference on Electronic Commerce,
{EC} 2013, Philadelphia, PA, USA, June 16-20, 2013},
pages = {215--232},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2492002.2482549},
doi = {10.1145/2492002.2482549},
timestamp = {Fri, 09 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigecom/ChenCKMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/Al-Fedaghi13,
author = {Sabah Al{-}Fedaghi},
title = {Schematizing Proofs Based on Flow of Truth Values in Logic},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
Manchester, {SMC} 2013, United Kingdom, October 13-16, 2013},
pages = {194--200},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SMC.2013.40},
doi = {10.1109/SMC.2013.40},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/Al-Fedaghi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcisys/HeXLC12,
author = {Xingxing He and
Yang Xu and
Jun Liu and
Shuwei Chen},
title = {{\(\alpha\)}-Generalized lock resolution method in linguistic truth-valued
lattice-valued logic},
journal = {Int. J. Comput. Intell. Syst.},
volume = {5},
number = {6},
pages = {1120--1134},
year = {2012},
url = {https://doi.org/10.1080/18756891.2012.747665},
doi = {10.1080/18756891.2012.747665},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcisys/HeXLC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcisys/LuAL012,
author = {Zhirui Lu and
Juan Carlos Augusto and
Jun Liu and
Hui Wang},
title = {A Linguistic Truth-Value Temporal Reasoning {(LTR)} System and its
Application to the Design of an Intelligent Environment},
journal = {Int. J. Comput. Intell. Syst.},
volume = {5},
number = {1},
pages = {173--196},
year = {2012},
url = {https://doi.org/10.1080/18756891.2012.670529},
doi = {10.1080/18756891.2012.670529},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcisys/LuAL012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/ZouLRX12,
author = {Li Zou and
Xin Liu and
Da Ruan and
Yang Xu},
title = {Linguistic Truth-Valued Intuitionistic Fuzzy Algebra},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {18},
number = {5-6},
pages = {445--456},
year = {2012},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-18-number-5-6-2012/mvlsc-18-5-6-p-445-456/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/ZouLRX12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/Nieuwland12,
author = {Mante S. Nieuwland},
title = {Establishing propositional truth-value in counterfactual and real-world
contexts during sentence comprehension: Differential sensitivity of
the left and right inferior frontal gyri},
journal = {NeuroImage},
volume = {59},
number = {4},
pages = {3433--3440},
year = {2012},
url = {https://doi.org/10.1016/j.neuroimage.2011.11.018},
doi = {10.1016/J.NEUROIMAGE.2011.11.018},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neuroimage/Nieuwland12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/HeXLC12,
author = {Xingxing He and
Yang Xu and
Jun Liu and
Shuwei Chen},
title = {On compatibilities of {\(\alpha\)}-lock resolution method in linguistic
truth-valued lattice-valued logic},
journal = {Soft Comput.},
volume = {16},
number = {4},
pages = {699--709},
year = {2012},
url = {https://doi.org/10.1007/s00500-011-0779-z},
doi = {10.1007/S00500-011-0779-Z},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/HeXLC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/ZhongXLC12,
author = {Xiaomei Zhong and
Yang Xu and
Jun Liu and
Shuwei Chen},
title = {General form of {\(\alpha\)}-resolution principle for linguistic truth-valued
lattice-valued logic},
journal = {Soft Comput.},
volume = {16},
number = {10},
pages = {1767--1781},
year = {2012},
url = {https://doi.org/10.1007/s00500-012-0860-2},
doi = {10.1007/S00500-012-0860-2},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/ZhongXLC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccis/MaWLW12,
author = {Yingcang Ma and
Lu Wang and
Huan Liu and
Xiaogai Wang},
title = {Theory of {\(\alpha\)}-truth degrees in 3-valued prerough logic},
booktitle = {2nd {IEEE} International Conference on Cloud Computing and Intelligence
Systems, {CCIS} 2012, Hangzhou, China, October 30 - November 1, 2012},
pages = {936--940},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/CCIS.2012.6664314},
doi = {10.1109/CCIS.2012.6664314},
timestamp = {Sun, 08 Aug 2021 01:40:48 +0200},
biburl = {https://dblp.org/rec/conf/ccis/MaWLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/is/VardevaG12,
author = {Ivelina Vardeva and
Valery Gochev},
title = {Calculation of estimations of messages by generalized nets and intuitionistic
fuzzy truth values},
booktitle = {6th {IEEE} International Conference on Intelligent Systems, {IS} 2012,
Sofia, Bulgaria, September 6-8, 2012},
pages = {242--245},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IS.2012.6335225},
doi = {10.1109/IS.2012.6335225},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/is/VardevaG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/maics/Patrascu12,
author = {Vasile Patrascu},
editor = {Sofia Visa and
Atsushi Inoue and
Anca L. Ralescu},
title = {Bi-fuzziness, Incompleteness, Inconsistency, Truth and Falsity Based
on Saturation and Ignorance Functions. {A} New Approach of Penta-Valued
Knowledge Representation},
booktitle = {Proceedings of the 23rd Midwest Artificial Intelligence and Cognitive
Science Conference 2012, Cincinnati, USA, Apr 21-22, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {841},
pages = {112--118},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-841/submission\_15.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/maics/Patrascu12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rskt/LiuMD12,
author = {Huan Liu and
Yingcang Ma and
Xuezhen Dai},
editor = {Tianrui Li and
Hung Son Nguyen and
Guoyin Wang and
Jerzy W. Grzymala{-}Busse and
Ryszard Janicki and
Aboul Ella Hassanien and
Hong Yu},
title = {Theory of Truth Degrees in Three Valued Formed System {RSL}},
booktitle = {Rough Sets and Knowledge Technology - 7th International Conference,
{RSKT} 2012, Chengdu, China, August 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7414},
pages = {49--54},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31900-6\_7},
doi = {10.1007/978-3-642-31900-6\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rskt/LiuMD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/BasharKH12,
author = {Md. Abul Bashar and
D. Marc Kilgour and
Keith W. Hipel},
title = {Fuzzy truth values in option prioritization for preference elicitation
in the Graph Model},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man,
and Cybernetics, {SMC} 2012, Seoul, Korea (South), October 14-17,
2012},
pages = {3081--3086},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ICSMC.2012.6378264},
doi = {10.1109/ICSMC.2012.6378264},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/BasharKH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/FunkeBF12,
author = {Daniel Funke and
Fabian Brosig and
Michael Faber},
editor = {Bruno Gaujal and
Alain Jean{-}Marie and
Eduard A. Jorswieck and
Alexandre Seuret},
title = {Towards truthful resource reservation in cloud computing},
booktitle = {6th International {ICST} Conference on Performance Evaluation Methodologies
and Tools, Cargese, Corsica, France, October 9-12, 2012},
pages = {253--262},
publisher = {{ICST/IEEE}},
year = {2012},
url = {https://doi.org/10.4108/valuetools.2012.250173},
doi = {10.4108/VALUETOOLS.2012.250173},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/FunkeBF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Beziau12,
author = {Jean{-}Yves B{\'{e}}ziau},
editor = {Dov M. Gabbay and
Francis Jeffry Pelletier and
John Woods},
title = {A History of Truth-Values},
booktitle = {Logic: {A} History of its Central Concepts},
series = {Handbook of the History of Logic},
volume = {11},
pages = {235--307},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/B978-0-444-52937-4.50005-8},
doi = {10.1016/B978-0-444-52937-4.50005-8},
timestamp = {Thu, 09 Jul 2020 09:13:37 +0200},
biburl = {https://dblp.org/rec/series/hhl/Beziau12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-3107,
author = {Li Yang and
Yuhui Wang},
title = {Tacit knowledge mining algorithm based on linguistic truth-valued
concept lattice},
journal = {CoRR},
volume = {abs/1201.3107},
year = {2012},
url = {http://arxiv.org/abs/1201.3107},
eprinttype = {arXiv},
eprint = {1201.3107},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-3107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-2285,
author = {Chi{-}Kin Chau and
Lan Yu},
title = {Truthful Complex-valued Knapsack Problem and Discrete Optimization
in {A/C} Electrical Grid},
journal = {CoRR},
volume = {abs/1205.2285},
year = {2012},
url = {http://arxiv.org/abs/1205.2285},
eprinttype = {arXiv},
eprint = {1205.2285},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-2285.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/FarfelC11,
author = {Joseph Farfel and
Vincent Conitzer},
title = {Aggregating value ranges: preference elicitation and truthfulness},
journal = {Auton. Agents Multi Agent Syst.},
volume = {22},
number = {1},
pages = {127--150},
year = {2011},
url = {https://doi.org/10.1007/s10458-009-9118-5},
doi = {10.1007/S10458-009-9118-5},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/FarfelC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/ChenR11,
author = {Xiaowei Chen and
Dan A. Ralescu},
title = {A note on truth value in uncertain logic},
journal = {Expert Syst. Appl.},
volume = {38},
number = {12},
pages = {15582--15586},
year = {2011},
url = {https://doi.org/10.1016/j.eswa.2011.05.030},
doi = {10.1016/J.ESWA.2011.05.030},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/ChenR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HernandoRL11,
author = {Antonio Hernando and
Eugenio Roanes{-}Lozano and
Luis M. Laita},
title = {A Polynomial Model for Logics with a Prime Power Number of Truth Values},
journal = {J. Autom. Reason.},
volume = {46},
number = {2},
pages = {205--221},
year = {2011},
url = {https://doi.org/10.1007/s10817-010-9191-0},
doi = {10.1007/S10817-010-9191-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HernandoRL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sagt/JainMNY11,
author = {Navendu Jain and
Ishai Menache and
Joseph Naor and
Jonathan Yaniv},
editor = {Giuseppe Persiano},
title = {A Truthful Mechanism for Value-Based Scheduling in Cloud Computing},
booktitle = {Algorithmic Game Theory, 4th International Symposium, {SAGT} 2011,
Amalfi, Italy, October 17-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6982},
pages = {178--189},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24829-0\_17},
doi = {10.1007/978-3-642-24829-0\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/sagt/JainMNY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Dobzinski11,
author = {Shahar Dobzinski},
editor = {Lance Fortnow and
Salil P. Vadhan},
title = {An impossibility result for truthful combinatorial auctions with submodular
valuations},
booktitle = {Proceedings of the 43rd {ACM} Symposium on Theory of Computing, {STOC}
2011, San Jose, CA, USA, 6-8 June 2011},
pages = {139--148},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993636.1993656},
doi = {10.1145/1993636.1993656},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Dobzinski11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-1334,
author = {Zoran Majkic},
title = {Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued
Logics},
journal = {CoRR},
volume = {abs/1103.1334},
year = {2011},
url = {http://arxiv.org/abs/1103.1334},
eprinttype = {arXiv},
eprint = {1103.1334},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-1334.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-1053,
author = {Shaddin Dughmi and
Tim Roughgarden and
Jan Vondr{\'{a}}k and
Qiqi Yan},
title = {An approximately truthful-in-expectation mechanism for combinatorial
auctions using value queries},
journal = {CoRR},
volume = {abs/1109.1053},
year = {2011},
url = {http://arxiv.org/abs/1109.1053},
eprinttype = {arXiv},
eprint = {1109.1053},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-1053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-5472,
author = {Yiling Chen and
Stephen Chong and
Ian A. Kash and
Tal Moran and
Salil P. Vadhan},
title = {Truthful Mechanisms for Agents that Value Privacy},
journal = {CoRR},
volume = {abs/1111.5472},
year = {2011},
url = {http://arxiv.org/abs/1111.5472},
eprinttype = {arXiv},
eprint = {1111.5472},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-5472.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/Wu10,
author = {Hongbo Wu},
title = {The generalized truth degree of quantitative logic in the logic system
L\({}_{\mbox{n}}\)\({}^{\mbox{*}}\) (n-valued NM-logic system)},
journal = {Comput. Math. Appl.},
volume = {59},
number = {8},
pages = {2587--2596},
year = {2010},
url = {https://doi.org/10.1016/j.camwa.2010.01.024},
doi = {10.1016/J.CAMWA.2010.01.024},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cma/Wu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/HardingWW10,
author = {John Harding and
Carol L. Walker and
Elbert A. Walker},
title = {The variety generated by the truth value algebra of type-2 fuzzy sets},
journal = {Fuzzy Sets Syst.},
volume = {161},
number = {5},
pages = {735--749},
year = {2010},
url = {https://doi.org/10.1016/j.fss.2009.07.004},
doi = {10.1016/J.FSS.2009.07.004},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/HardingWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Dubois10,
author = {Didier Dubois},
title = {Author's response to Wansing and Belnap's \emph{Generalized truth-values}},
journal = {Log. J. {IGPL}},
volume = {18},
number = {6},
pages = {936--940},
year = {2010},
url = {https://doi.org/10.1093/jigpal/jzp069},
doi = {10.1093/JIGPAL/JZP069},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Dubois10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/RasgaRS10,
author = {Jo{\~{a}}o Rasga and
Karina Girardi Roggia and
Cristina Sernadas},
title = {Fusion of sequent modal logic systems labelled with truth values},
journal = {Log. J. {IGPL}},
volume = {18},
number = {6},
pages = {893--920},
year = {2010},
url = {https://doi.org/10.1093/jigpal/jzp081},
doi = {10.1093/JIGPAL/JZP081},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/RasgaRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/WansingB10,
author = {Heinrich Wansing and
Nuel Belnap},
title = {Generalized truth values.: {A} reply to Dubois},
journal = {Log. J. {IGPL}},
volume = {18},
number = {6},
pages = {921--935},
year = {2010},
url = {https://doi.org/10.1093/jigpal/jzp068},
doi = {10.1093/JIGPAL/JZP068},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/WansingB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgs/YangX10,
author = {Li Yang and
Yang Xu},
title = {A decision method based on uncertainty reasoning of linguistic truth-valued
concept lattice},
journal = {Int. J. Gen. Syst.},
volume = {39},
number = {3},
pages = {235--253},
year = {2010},
url = {https://doi.org/10.1080/03081070903552817},
doi = {10.1080/03081070903552817},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijgs/YangX10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/LaiX10,
author = {Jiajun Lai and
Yang Xu},
title = {Linguistic truth-valued lattice-valued propositional logic system
\emph{l}P(X) based on linguistic truth-valued lattice implication
algebra},
journal = {Inf. Sci.},
volume = {180},
number = {10},
pages = {1990--2002},
year = {2010},
url = {https://doi.org/10.1016/j.ins.2010.01.021},
doi = {10.1016/J.INS.2010.01.021},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/LaiX10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/OdintsovW10,
author = {Sergei P. Odintsov and
Heinrich Wansing},
title = {Modal logics with Belnapian truth values},
journal = {J. Appl. Non Class. Logics},
volume = {20},
number = {3},
pages = {279--304},
year = {2010},
url = {https://doi.org/10.3166/jancl.20.279-301},
doi = {10.3166/JANCL.20.279-301},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jancl/OdintsovW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ices/LedwithM10,
author = {Ricky D. Ledwith and
Julian F. Miller},
editor = {Gianluca Tempesti and
Andy M. Tyrrell and
Julian F. Miller},
title = {Introducing Flexibility in Digital Circuit Evolution: Exploiting Undefined
Values in Binary Truth Tables},
booktitle = {Evolvable Systems: From Biology to Hardware - 9th International Conference,
{ICES} 2010, York, UK, September 6-8, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6274},
pages = {25--36},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15323-5\_3},
doi = {10.1007/978-3-642-15323-5\_3},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/ices/LedwithM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icis/BlauCW10,
author = {Benjamin Blau and
Tobias Conte and
Christof Weinhardt},
editor = {Rajiv Sabherwal and
Mary Sumner},
title = {Incentives in Service Value Networks - on truthfulness, sustainability,
and Interoperability},
booktitle = {Proceedings of the International Conference on Information Systems,
{ICIS} 2010, Saint Louis, Missouri, USA, December 12-15, 2010},
pages = {8},
publisher = {Association for Information Systems},
year = {2010},
url = {http://aisel.aisnet.org/icis2010\_submissions/8},
timestamp = {Tue, 27 Dec 2011 13:06:10 +0100},
biburl = {https://dblp.org/rec/conf/icis/BlauCW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/CiucciD10,
author = {Davide Ciucci and
Didier Dubois},
title = {Truth-Functionality, Rough Sets and Three-Valued Logics},
booktitle = {40th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2010, Barcelona, Spain, 26-28 May 2010},
pages = {98--103},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISMVL.2010.26},
doi = {10.1109/ISMVL.2010.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/CiucciD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaazF10,
author = {Matthias Baaz and
Oliver Fasching},
editor = {Andrei Voronkov and
Geoff Sutcliffe and
Matthias Baaz and
Christian G. Ferm{\"{u}}ller},
title = {G{\"{o}}del logics with an operator shifting truth values},
booktitle = {Short papers for 17th International Conference on Logic for Programming,
Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
Indonesia, October 10-15, 2010},
series = {EPiC Series in Computing},
volume = {13},
pages = {13--14},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/1gvp},
doi = {10.29007/1GVP},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BaazF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rskt/GuoZZZ10,
author = {Chunying Guo and
Fengmei Zhang and
Li Zou and
Kaiqi Zou},
editor = {Jian Yu and
Salvatore Greco and
Pawan Lingras and
Guoyin Wang and
Andrzej Skowron},
title = {Implication Operator of Linguistic Truth-Valued Intuitionistic Fuzzy
Lattice},
booktitle = {Rough Set and Knowledge Technology - 5th International Conference,
{RSKT} 2010, Beijing, China, October 15-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6401},
pages = {212--219},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16248-0\_33},
doi = {10.1007/978-3-642-16248-0\_33},
timestamp = {Mon, 16 Mar 2020 17:44:10 +0100},
biburl = {https://dblp.org/rec/conf/rskt/GuoZZZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-5717,
author = {Dominik Scheder},
title = {{PPZ} For More Than Two Truth Values - An Algorithm for Constraint
Satisfaction Problems},
journal = {CoRR},
volume = {abs/1010.5717},
year = {2010},
url = {http://arxiv.org/abs/1010.5717},
eprinttype = {arXiv},
eprint = {1010.5717},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-5717.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-1830,
author = {Shahar Dobzinski},
title = {An Impossibility Result for Truthful Combinatorial Auctions with Submodular
Valuations},
journal = {CoRR},
volume = {abs/1011.1830},
year = {2010},
url = {http://arxiv.org/abs/1011.1830},
eprinttype = {arXiv},
eprint = {1011.1830},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-1830.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hu/Zsolt09,
author = {Zsolt Gera},
title = {Fuzzy reasoning models and fuzzy truth value based inference},
school = {University of Szeged, Hungary},
year = {2009},
url = {https://doktori.hu/index.php?menuid=193\&lang=HU\&vid=4158},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hu/Zsolt09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ViglizzoTS09,
author = {Ignacio Dar{\'{\i}}o Viglizzo and
Fernando A. Tohm{\'{e}} and
Guillermo Ricardo Simari},
title = {The foundations of DeLP: defeating relations, games and truth values},
journal = {Ann. Math. Artif. Intell.},
volume = {57},
number = {2},
pages = {181--204},
year = {2009},
url = {https://doi.org/10.1007/s10472-010-9184-z},
doi = {10.1007/S10472-010-9184-Z},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ViglizzoTS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/MattheTH09,
author = {Tom Matth{\'{e}} and
Guy De Tr{\'{e}} and
Axel Hallez},
title = {Impact of weights on conjunctive and disjunctive aggregation of extended
possibilistic truth values},
journal = {Fuzzy Sets Syst.},
volume = {160},
number = {15},
pages = {2141--2158},
year = {2009},
url = {https://doi.org/10.1016/j.fss.2009.02.011},
doi = {10.1016/J.FSS.2009.02.011},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/MattheTH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/BronselaerHT09,
author = {Antoon Bronselaer and
Axel Hallez and
Guy De Tr{\'{e}}},
title = {Extensions of fuzzy measures and Sugeno integral for possibilistic
truth values},
journal = {Int. J. Intell. Syst.},
volume = {24},
number = {2},
pages = {97--117},
year = {2009},
url = {https://doi.org/10.1002/int.20327},
doi = {10.1002/INT.20327},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/BronselaerHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Belnap09,
author = {Nuel Belnap},
title = {Truth Values, Neither-true-nor-false, and Supervaluations},
journal = {Stud Logica},
volume = {91},
number = {3},
pages = {305--334},
year = {2009},
url = {https://doi.org/10.1007/s11225-009-9177-2},
doi = {10.1007/S11225-009-9177-2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Belnap09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Cook09a,
author = {Roy T. Cook},
title = {What is a Truth Value And How Many Are There?},
journal = {Stud Logica},
volume = {92},
number = {2},
pages = {183--201},
year = {2009},
url = {https://doi.org/10.1007/s11225-009-9194-1},
doi = {10.1007/S11225-009-9194-1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Cook09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Hajek09,
author = {Petr H{\'{a}}jek},
title = {On Vagueness, Truth Values and Fuzzy Logics},
journal = {Stud Logica},
volume = {91},
number = {3},
pages = {367--382},
year = {2009},
url = {https://doi.org/10.1007/s11225-009-9179-0},
doi = {10.1007/S11225-009-9179-0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Hajek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Restall09,
author = {Greg Restall},
title = {Truth Values and Proof Theory},
journal = {Stud Logica},
volume = {92},
number = {2},
pages = {241--264},
year = {2009},
url = {https://doi.org/10.1007/s11225-009-9197-y},
doi = {10.1007/S11225-009-9197-Y},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/Restall09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/ShramkoW09,
author = {Yaroslav Shramko and
Heinrich Wansing},
title = {Editorial Introduction. Truth Values: Part {I}},
journal = {Stud Logica},
volume = {91},
number = {3},
pages = {295--304},
year = {2009},
url = {https://doi.org/10.1007/s11225-009-9176-3},
doi = {10.1007/S11225-009-9176-3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/ShramkoW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/ShramkoW09b,
author = {Yaroslav Shramko and
Heinrich Wansing},
title = {Editorial Introduction. Truth Values: Part {II}},
journal = {Stud Logica},
volume = {92},
number = {2},
pages = {143--146},
year = {2009},
url = {https://doi.org/10.1007/s11225-009-9191-4},
doi = {10.1007/S11225-009-9191-4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/ShramkoW09b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Yu09,
author = {Changyuan Yu},
title = {Truthful mechanisms for two-range-values variant of unrelated scheduling},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {21-23},
pages = {2196--2206},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.02.001},
doi = {10.1016/J.TCS.2009.02.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Yu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/BobilloS09,
author = {Fernando Bobillo and
Umberto Straccia},
editor = {Jo{\~{a}}o Paulo Carvalho and
Didier Dubois and
Uzay Kaymak and
Jo{\~{a}}o Miguel da Costa Sousa},
title = {Fuzzy Descriptions Logics with Fuzzy Truth Values},
booktitle = {Proceedings of the Joint 2009 International Fuzzy Systems Association
World Congress and 2009 European Society of Fuzzy Logic and Technology
Conference, Lisbon, Portugal, July 20-24, 2009},
pages = {189--194},
year = {2009},
url = {http://www.eusflat.org/proceedings/IFSA-EUSFLAT\_2009/pdf/tema\_0189.pdf},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusflat/BobilloS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Takagi09,
author = {Noboru Takagi},
title = {Non-convex Fuzzy Truth Values and De Morgan Bisemilattices},
booktitle = {{ISMVL} 2009, 39th International Symposium on Multiple-Valued Logic,
21-23 May 2009, Naha, Okinawaw, Japan},
pages = {227--232},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISMVL.2009.34},
doi = {10.1109/ISMVL.2009.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Takagi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sgai/LuLAW09,
author = {Zhirui Lu and
Jun Liu and
Juan Carlos Augusto and
Hui Wang},
editor = {Max Bramer and
Richard Ellis and
Miltos Petridis},
title = {A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation},
booktitle = {Research and Development in Intelligent Systems XXVI, Incorporating
Applications and Innovations in Intelligent Systems XVII, Peterhouse
College, Cambridge, UK, 15-17 December 2009},
pages = {305--310},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-84882-983-1\_23},
doi = {10.1007/978-1-84882-983-1\_23},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sgai/LuLAW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/X09xxej,
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Structure of Truth Values},
booktitle = {Encyclopedia of Database Systems},
pages = {2862},
publisher = {Springer {US}},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-39940-9\_3709},
doi = {10.1007/978-0-387-39940-9\_3709},
timestamp = {Sun, 02 Jun 2019 21:10:27 +0200},
biburl = {https://dblp.org/rec/reference/db/X09xxej.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fodm/ZouLWX08,
author = {Li Zou and
Xin Liu and
Zhengjiang Wu and
Yang Xu},
title = {A uniform approach of linguistic truth values in sensor evaluation},
journal = {Fuzzy Optim. Decis. Mak.},
volume = {7},
number = {4},
pages = {387--397},
year = {2008},
url = {https://doi.org/10.1007/s10700-008-9046-x},
doi = {10.1007/S10700-008-9046-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fodm/ZouLWX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/GeraD08,
author = {Zsolt Gera and
J{\'{o}}zsef Dombi},
title = {Exact calculations of extended logical operations on fuzzy truth values},
journal = {Fuzzy Sets Syst.},
volume = {159},
number = {11},
pages = {1309--1326},
year = {2008},
url = {https://doi.org/10.1016/j.fss.2007.09.020},
doi = {10.1016/J.FSS.2007.09.020},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/GeraD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/GeraD08a,
author = {Zsolt Gera and
J{\'{o}}zsef Dombi},
title = {Type-2 implications on non-interactive fuzzy truth values},
journal = {Fuzzy Sets Syst.},
volume = {159},
number = {22},
pages = {3014--3032},
year = {2008},
url = {https://doi.org/10.1016/j.fss.2008.01.017},
doi = {10.1016/J.FSS.2008.01.017},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/GeraD08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Dubois08,
author = {Didier Dubois},
title = {On Ignorance and Contradiction Considered as Truth-Values},
journal = {Log. J. {IGPL}},
volume = {16},
number = {2},
pages = {195--216},
year = {2008},
url = {https://doi.org/10.1093/jigpal/jzn003},
doi = {10.1093/JIGPAL/JZN003},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Dubois08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/WalkerW08,
author = {Carol L. Walker and
Elbert A. Walker},
title = {Automorphisms of the Algebra of Fuzzy Truth Values {II}},
journal = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
volume = {16},
number = {5},
pages = {627--643},
year = {2008},
url = {https://doi.org/10.1142/S0218488508005534},
doi = {10.1142/S0218488508005534},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijufks/WalkerW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/LiRZY08,
author = {Zou Li and
Da Ruan and
Pei Zheng and
Yang Xu},
title = {A linguistic truth-valued reasoning approach in decision making with
incomparable information},
journal = {J. Intell. Fuzzy Syst.},
volume = {19},
number = {4-5},
pages = {335--343},
year = {2008},
url = {http://content.iospress.com/articles/journal-of-intelligent-and-fuzzy-systems/ifs00403},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jifs/LiRZY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/Majkic08,
author = {Zoran Majkic},
title = {Bilattices, Intuitionism and Truth-knowledge Duality: Concepts and
Foundations},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {14},
number = {6},
pages = {525--564},
year = {2008},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-14-number-6-2008/mvlsc-14-6-p-525-564/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/Majkic08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ViglizzoTS08,
author = {Ignacio D. Viglizzo and
Fernando A. Tohm{\'{e}} and
Guillermo Ricardo Simari},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {An Alternative Foundation for DeLP: Defeating Relations and Truth
Values},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {42--57},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_6},
doi = {10.1007/978-3-540-77684-0\_6},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ViglizzoTS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnc/WangW08b,
author = {Ai{-}Qing Wang and
Ting{-}Ming Wang},
editor = {Maozu Guo and
Liang Zhao and
Lipo Wang},
title = {Logical Metric Expressions Based on Truth Degree in Two-Valued Propositional
Logic},
booktitle = {Fourth International Conference on Natural Computation, {ICNC} 2008,
Jinan, Shandong, China, 18-20 October 2008, Volume 7},
pages = {706--709},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICNC.2008.983},
doi = {10.1109/ICNC.2008.983},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnc/WangW08b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/BlairJIR08,
author = {Howard A. Blair and
David W. Jakel and
Robert J. Irwin and
Angel J. Rivera},
title = {Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous
Truth-values},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
year = {2008},
url = {http://isaim2008.unl.edu/PAPERS/SS1-AI+Logic/HBlair-ss1.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/BlairJIR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iske/ZouS008,
author = {Li Zou and
Fang Sun and
Yang Xu},
title = {Resolution method of six-element linguistic truth-valued intuitionistic
propositional logic},
booktitle = {3rd International Conference on Intelligent System and Knowledge Engineering,
{ISKE} 2008, Xiamen, China, November 17-19, 2008},
pages = {141--145},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ISKE.2008.4730914},
doi = {10.1109/ISKE.2008.4730914},
timestamp = {Wed, 10 Nov 2021 12:36:01 +0100},
biburl = {https://dblp.org/rec/conf/iske/ZouS008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isnn/ZouLX08,
author = {Li Zou and
Wenjiang Li and
Yang Xu},
editor = {Fuchun Sun and
Jianwei Zhang and
Ying Tan and
Jinde Cao and
Wen Yu},
title = {Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision
Making},
booktitle = {Advances in Neural Networks - {ISNN} 2008, 5th International Symposium
on Neural Networks, {ISNN} 2008, Beijing, China, September 24-28,
2008, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {5263},
pages = {266--274},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87732-5\_30},
doi = {10.1007/978-3-540-87732-5\_30},
timestamp = {Mon, 18 Jan 2021 14:59:49 +0100},
biburl = {https://dblp.org/rec/conf/isnn/ZouLX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/asc/Takagi08,
author = {Noboru Takagi},
editor = {Van{-}Nam Huynh and
Yoshiteru Nakamori and
Hiroakira Ono and
Jonathan Lawry and
Vladik Kreinovich and
Hung T. Nguyen},
title = {Some Properties of Logic Functions over Multi-interval Truth Values},
booktitle = {Interval / Probabilistic Uncertainty and Non-Classical Logics},
series = {Advances in Soft Computing},
volume = {46},
pages = {256--267},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77664-2\_20},
doi = {10.1007/978-3-540-77664-2\_20},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/asc/Takagi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/asc/WalkerW08,
author = {Carol L. Walker and
Elbert A. Walker},
editor = {Van{-}Nam Huynh and
Yoshiteru Nakamori and
Hiroakira Ono and
Jonathan Lawry and
Vladik Kreinovich and
Hung T. Nguyen},
title = {The Algebra of Truth Values of Type-2 Fuzzy Sets: {A} Survey},
booktitle = {Interval / Probabilistic Uncertainty and Non-Classical Logics},
series = {Advances in Soft Computing},
volume = {46},
pages = {245--255},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77664-2\_19},
doi = {10.1007/978-3-540-77664-2\_19},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/asc/WalkerW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fskd/ZouLXX07,
author = {Li Zou and
Jinglong Li and
Kaijun Xu and
Yang Xu},
editor = {J. Lei},
title = {A Kind of Resolution Method of Linguistic Truth-Valued Propositional
Logic Based on {LIA}},
booktitle = {Fourth International Conference on Fuzzy Systems and Knowledge Discovery,
{FSKD} 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings,
Volume 1},
pages = {32--36},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FSKD.2007.52},
doi = {10.1109/FSKD.2007.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fskd/ZouLXX07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/HardingWW07,
author = {John Harding and
Carol L. Walker and
Elbert A. Walker},
title = {On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy
Sets},
booktitle = {{FUZZ-IEEE} 2007, {IEEE} International Conference on Fuzzy Systems,
Imperial College, London, UK, 23-26 July, 2007, Proceedings},
pages = {1--5},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/FUZZY.2007.4295439},
doi = {10.1109/FUZZY.2007.4295439},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fuzzIEEE/HardingWW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfie/WuLZX07,
author = {Zhengjiang Wu and
Xin Liu and
Li Zou and
Yang Xu},
editor = {Bing{-}yuan Cao},
title = {Transformation of Linguistic Truth Values During the Sensor Evaluation},
booktitle = {Fuzzy Information and Engineering, Proceedings of the Second International
Conference of Fuzzy Information and Engineering, {ICFIE} 2007, May
13-16, 2007, Guangzhou, China},
series = {Advances in Soft Computing},
volume = {40},
pages = {744--750},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71441-5\_80},
doi = {10.1007/978-3-540-71441-5\_80},
timestamp = {Mon, 02 Mar 2020 17:19:02 +0100},
biburl = {https://dblp.org/rec/conf/icfie/WuLZX07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifsa/MattheTH07,
author = {Tom Matth{\'{e}} and
Guy De Tr{\'{e}} and
Axel Hallez},
editor = {Patricia Melin and
Oscar Castillo and
Luis T. Aguilar and
Janusz Kacprzyk and
Witold Pedrycz},
title = {Weighted Conjunctive and Disjunctive Aggregation of Possibilistic
Truth Values},
booktitle = {Foundations of Fuzzy Logic and Soft Computing, 12th International
Fuzzy Systems Association World Congress, {IFSA} 2007, Cancun, Mexico,
June 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4529},
pages = {171--180},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72950-1\_18},
doi = {10.1007/978-3-540-72950-1\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifsa/MattheTH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifsa/Pei07,
author = {Zheng Pei},
editor = {Patricia Melin and
Oscar Castillo and
Luis T. Aguilar and
Janusz Kacprzyk and
Witold Pedrycz},
title = {The Algebraic Properties of Linguistic Value "Truth" and Its Reasoning},
booktitle = {Foundations of Fuzzy Logic and Soft Computing, 12th International
Fuzzy Systems Association World Congress, {IFSA} 2007, Cancun, Mexico,
June 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4529},
pages = {436--444},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72950-1\_43},
doi = {10.1007/978-3-540-72950-1\_43},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifsa/Pei07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifsa/XuCLR07,
author = {Yang Xu and
Shuwei Chen and
Jun Liu and
Da Ruan},
editor = {Oscar Castillo and
Patricia Melin and
Oscar Montiel and
Roberto Sep{\'{u}}lveda and
Witold Pedrycz and
Janusz Kacprzyk},
title = {Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional
Logic},
booktitle = {Theoretical Advances and Applications of Fuzzy Logic and Soft Computing,
Selection of Papers from {IFSA} 2007},
series = {Advances in Soft Computing},
volume = {42},
pages = {358--366},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72434-6\_36},
doi = {10.1007/978-3-540-72434-6\_36},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifsa/XuCLR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wine/GonenP07,
author = {Rica Gonen and
Elan Pavlov},
editor = {Xiaotie Deng and
Fan Chung Graham},
title = {An Adaptive Sponsored Search Mechanism \emph{delta} -Gain Truthful
in Valuation, Time, and Budget},
booktitle = {Internet and Network Economics, Third International Workshop, {WINE}
2007, San Diego, CA, USA, December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4858},
pages = {341--346},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77105-0\_36},
doi = {10.1007/978-3-540-77105-0\_36},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/wine/GonenP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/FontGTV06,
author = {Josep Maria Font and
{\`{A}}ngel J. Gil and
Antoni Torrens and
Ventura Verd{\'{u}}},
title = {On the infinite-valued Lukasiewicz logic that preserves degrees of
truth},
journal = {Arch. Math. Log.},
volume = {45},
number = {7},
pages = {839--868},
year = {2006},
url = {https://doi.org/10.1007/s00153-006-0001-7},
doi = {10.1007/S00153-006-0001-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/FontGTV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/RachunekS06,
author = {Jir{\'{\i}} Rachunek and
Dana Salounov{\'{a}}},
title = {Truth values on generalizations of some commutative fuzzy structures},
journal = {Fuzzy Sets Syst.},
volume = {157},
number = {24},
pages = {3159--3168},
year = {2006},
url = {https://doi.org/10.1016/j.fss.2006.08.007},
doi = {10.1016/J.FSS.2006.08.007},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/RachunekS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/WalkerW06a,
author = {Carol L. Walker and
Elbert A. Walker},
title = {Automorphisms of the Algebra of Fuzzy Truth Values},
journal = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
volume = {14},
number = {6},
pages = {711--732},
year = {2006},
url = {https://doi.org/10.1142/S021848850600428X},
doi = {10.1142/S021848850600428X},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijufks/WalkerW06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/ShramkoW06,
author = {Yaroslav Shramko and
Heinrich Wansing},
title = {Hyper-Contradictions, Generalized Truth Values and Logics of Truth
and Falsehood},
journal = {J. Log. Lang. Inf.},
volume = {15},
number = {4},
pages = {403--424},
year = {2006},
url = {https://doi.org/10.1007/s10849-006-9015-0},
doi = {10.1007/S10849-006-9015-0},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jolli/ShramkoW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/KehagiasV06,
author = {Athanasios Kehagias and
K. Vezerides},
title = {Computation of Fuzzy Truth Values for The Liar and Related Self-Referential
Systems},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {12},
number = {5-6},
pages = {539--559},
year = {2006},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-12-number-5-6-2006/mvlsc-12-5-6-p-539-559/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/KehagiasV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/ShengL06,
author = {Li Sheng and
Yongming Li},
title = {Regular grammars with truth values in lattice-ordered monoid and their
languages},
journal = {Soft Comput.},
volume = {10},
number = {2},
pages = {79--86},
year = {2006},
url = {https://doi.org/10.1007/s00500-004-0427-y},
doi = {10.1007/S00500-004-0427-Y},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/ShengL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ItoP06,
author = {Takayuki Ito and
David C. Parkes},
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {Instantiating the contingent bids model of truthful interdependent
value auctions},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
pages = {1151--1158},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1160633.1160842},
doi = {10.1145/1160633.1160842},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/ItoP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grc/ZouMX06,
author = {Li Zou and
Jun Ma and
Yang Xu},
title = {A framework of linguistic truth-valued propositional logic based on
lattice implication algebra},
booktitle = {2006 {IEEE} International Conference on Granular Computing, GrC 2006,
Atlanta, Georgia, USA, May 10-12, 2006},
pages = {574--577},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/GRC.2006.1635868},
doi = {10.1109/GRC.2006.1635868},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/grc/ZouMX06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Dowek06,
author = {Gilles Dowek},
editor = {Thorsten Altenkirch and
Conor McBride},
title = {Truth Values Algebras and Proof Normalization},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2006,
Nottingham, UK, April 18-21, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4502},
pages = {110--124},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74464-1\_8},
doi = {10.1007/978-3-540-74464-1\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/Dowek06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/LiW05,
author = {Bijing Li and
Guojun Wang},
title = {Theory of truth degrees of formulas in {\L}ukasiewicz \emph{n} -valued
propositional logic and a limit theorem},
journal = {Sci. China Ser. {F} Inf. Sci.},
volume = {48},
number = {6},
pages = {727--736},
year = {2005},
url = {https://doi.org/10.1360/122005-47},
doi = {10.1360/122005-47},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/LiW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/YanL05,
author = {Jianping Yan and
Yee Leung},
title = {Truth-value transmittal fuzzy reasoning interpolator},
journal = {Sci. China Ser. {F} Inf. Sci.},
volume = {48},
number = {6},
pages = {737--746},
year = {2005},
url = {https://doi.org/10.1360/00yf0068},
doi = {10.1360/00YF0068},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/YanL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/WalkerW05,
author = {Carol L. Walker and
Elbert A. Walker},
title = {The algebra of fuzzy truth values},
journal = {Fuzzy Sets Syst.},
volume = {149},
number = {2},
pages = {309--347},
year = {2005},
url = {https://doi.org/10.1016/j.fss.2003.12.003},
doi = {10.1016/J.FSS.2003.12.003},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/WalkerW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MateusRS05,
author = {Paulo Mateus and
Jo{\~{a}}o Rasga and
Cristina Sernadas},
title = {Modal Sequent Calculi Labelled with Truth Values: Cut Elimination},
journal = {Log. J. {IGPL}},
volume = {13},
number = {2},
pages = {173--199},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi013},
doi = {10.1093/JIGPAL/JZI013},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MateusRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/ZengL05,
author = {Wenyi Zeng and
Hongxing Li},
title = {Inner Product Truth-valued Flow Inference},
journal = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
volume = {13},
number = {6},
pages = {601--612},
year = {2005},
url = {https://doi.org/10.1142/S0218488505003692},
doi = {10.1142/S0218488505003692},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijufks/ZengL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/EleftheriouK05,
author = {Pantelis E. Eleftheriou and
Costas D. Koutras},
title = {Frame constructions, truth invariance and validity preservation in
many-valued modal logic},
journal = {J. Appl. Non Class. Logics},
volume = {15},
number = {4},
pages = {367--388},
year = {2005},
url = {https://doi.org/10.3166/jancl.15.367-388},
doi = {10.3166/JANCL.15.367-388},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/EleftheriouK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/DeWitt05,
author = {Richard DeWitt},
title = {On Retaining Classical Truths and Classical Deducibility in Many-Valued
and Fuzzy Logics},
journal = {J. Philos. Log.},
volume = {34},
number = {5-6},
pages = {545--560},
year = {2005},
url = {https://doi.org/10.1007/s10992-005-1520-0},
doi = {10.1007/S10992-005-1520-0},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/DeWitt05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/Rudeanu05,
author = {Sergiu Rudeanu},
title = {On Complete and Precomplete Clones of Truth Functions},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {11},
number = {1-2},
pages = {19--49},
year = {2005},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-11-number-1-2-2005/mvlsc-11-1-2-p-19-49/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/Rudeanu05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pollard05,
author = {Stephen Pollard},
title = {The Expressive Unary Truth Functions of \emph{n}-valued Logic},
journal = {Notre Dame J. Formal Log.},
volume = {46},
number = {1},
pages = {93--105},
year = {2005},
url = {https://doi.org/10.1305/ndjfl/1107220676},
doi = {10.1305/NDJFL/1107220676},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pollard05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/BorgesS05,
author = {Wagner Borges and
Julio Michael Stern},
title = {On the Truth Value of Complex Hypotheses},
booktitle = {2005 International Conference on Computational Intelligence for Modelling
Control and Automation {(CIMCA} 2005), International Conference on
Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
2005), 28-30 November 2005, Vienna, Austria},
pages = {884--890},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CIMCA.2005.1631580},
doi = {10.1109/CIMCA.2005.1631580},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cimca/BorgesS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fskd/ChenXM05,
author = {Shuwei Chen and
Yang Xu and
Jun Ma},
editor = {Lipo Wang and
Yaochu Jin},
title = {A Linguistic Truth-Valued Uncertainty Reasoning Model Based on Lattice-Valued
Logic},
booktitle = {Fuzzy Systems and Knowledge Discovery, Second International Conference,
{FSKD} 2005, Changsha, China, August 27-29, 2005, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {3613},
pages = {276--284},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539506\_35},
doi = {10.1007/11539506\_35},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fskd/ChenXM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grc/WangZS05,
author = {Haibin Wang and
Yan{-}Qing Zhang and
Rajshekhar Sunderraman},
editor = {Xiaohua Hu and
Qing Liu and
Andrzej Skowron and
Tsau Young Lin and
Ronald R. Yager and
Bo Zhang},
title = {Truth-value based interval neutrosophic sets},
booktitle = {2005 {IEEE} International Conference on Granular Computing, Beijing,
China, July 25-27, 2005},
pages = {274--277},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/GRC.2005.1547284},
doi = {10.1109/GRC.2005.1547284},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/grc/WangZS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icita/NguyenSQ05,
author = {Minh Nhut Nguyen and
Daming Shi and
Chai Quek},
title = {Self-Organizing Gaussian Fuzzy {CMAC} with Truth Value Restriction},
booktitle = {Third International Conference on Information Technology and Applications
{(ICITA} 2005), 4-7 July 2005, Sydney, Australia},
pages = {185--190},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICITA.2005.250},
doi = {10.1109/ICITA.2005.250},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icita/NguyenSQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LardeuxSH05,
author = {Fr{\'{e}}d{\'{e}}ric Lardeux and
Fr{\'{e}}d{\'{e}}ric Saubion and
Jin{-}Kao Hao},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Three Truth Values for the {SAT} and {MAX-SAT} Problems},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {187--192},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0798.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LardeuxSH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Majkic05,
author = {Zoran Majkic},
editor = {Armin Wolf and
Thom W. Fr{\"{u}}hwirth and
Marc Meister},
title = {Truth and knowledge fixpoint semantics for many-valued logic programming},
booktitle = {19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February
21-23, 2005},
series = {Ulmer Informatik-Berichte},
volume = {2005-01},
pages = {76--87},
publisher = {Universit{\"{a}}t Ulm, Germany},
year = {2005},
timestamp = {Fri, 25 Feb 2005 15:14:47 +0100},
biburl = {https://dblp.org/rec/conf/wlp/Majkic05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MateusSSV04,
author = {Paulo Mateus and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas and
Luca Vigan{\`{o}}},
title = {Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality
and Analyticity},
journal = {Log. J. {IGPL}},
volume = {12},
number = {3},
pages = {227--274},
year = {2004},
url = {https://doi.org/10.1093/jigpal/12.3.227},
doi = {10.1093/JIGPAL/12.3.227},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MateusSSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/TreC04,
author = {Guy De Tr{\'{e}} and
Rita M. M. De Caluwe},
title = {Towards More Flexible Database Systems: {A} Logical Framework Based
on Extended Possibilistic Truth Values},
booktitle = {15th International Workshop on Database and Expert Systems Applications
{(DEXA} 2004), with CD-ROM, 30 August - 3 September 2004, Zaragoza,
Spain},
pages = {900--904},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DEXA.2004.1333592},
doi = {10.1109/DEXA.2004.1333592},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/TreC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Stachniak04,
author = {Zbigniew Stachniak},
title = {A Note on Satisfying Truth-Value Assignments of Boolean Formulas},
booktitle = {{SAT} 2004 - The Seventh International Conference on Theory and Applications
of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada,
Online Proceedings},
year = {2004},
url = {http://www.satisfiability.org/SAT04/programme/52.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/Stachniak04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/NguyenKN03,
author = {Hung T. Nguyen and
Vladik Kreinovich and
Antonio Di Nola},
title = {Which truth values in fuzzy logics are definable?},
journal = {Int. J. Intell. Syst.},
volume = {18},
number = {10},
pages = {1057--1064},
year = {2003},
url = {https://doi.org/10.1002/int.10131},
doi = {10.1002/INT.10131},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/NguyenKN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaciii/EmotoM03,
author = {Masashi Emoto and
Masao Mukaidono},
title = {Properties of Interval Truth Values with Certainty Factor},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
volume = {7},
number = {2},
pages = {229--234},
year = {2003},
url = {https://doi.org/10.20965/jaciii.2003.p0229},
doi = {10.20965/JACIII.2003.P0229},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaciii/EmotoM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/SernadasVRS03,
author = {Cristina Sernadas and
Luca Vigan{\`{o}} and
Jo{\~{a}}o Rasga and
Am{\'{\i}}lcar Sernadas},
title = {Truth-values as Labels: {A} General Recipe for Labelled Deduction},
journal = {J. Appl. Non Class. Logics},
volume = {13},
number = {3-4},
pages = {277--315},
year = {2003},
url = {https://doi.org/10.3166/jancl.13.277-315},
doi = {10.3166/JANCL.13.277-315},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/SernadasVRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/TreB03,
author = {Guy De Tr{\'{e}} and
Bernard De Baets},
title = {Aggregating constraint satisfaction degrees expressed by possibilistic
truth values},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {11},
number = {3},
pages = {361--368},
year = {2003},
url = {https://doi.org/10.1109/TFUZZ.2003.812695},
doi = {10.1109/TFUZZ.2003.812695},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/TreB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0309046,
author = {K. Vezerides and
Athanasios Kehagias},
title = {The Liar and Related Paradoxes: Fuzzy Truth Value Assignment for Collections
of Self-Referential Sentences},
journal = {CoRR},
volume = {cs.LO/0309046},
year = {2003},
url = {http://arxiv.org/abs/cs/0309046},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0309046.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/Tre02,
author = {Guy De Tr{\'{e}}},
title = {Extended possibilistic truth values},
journal = {Int. J. Intell. Syst.},
volume = {17},
number = {4},
pages = {427--446},
year = {2002},
url = {https://doi.org/10.1002/int.10030},
doi = {10.1002/INT.10030},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/Tre02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pollard02,
author = {Stephen Pollard},
title = {The Expressive Truth Conditions of Two-Valued Logic},
journal = {Notre Dame J. Formal Log.},
volume = {43},
number = {4},
pages = {221--230},
year = {2002},
url = {https://doi.org/10.1305/ndjfl/1074396307},
doi = {10.1305/NDJFL/1074396307},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pollard02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/TreCVH02,
author = {Guy De Tr{\'{e}} and
Rita M. M. De Caluwe and
J{\"{o}}rg Verstraete and
Axel Hallez},
editor = {Troels Andreasen and
Amihai Motro and
Henning Christiansen and
Henrik Legind Larsen},
title = {Conjunctive Aggregation of Extended Possibilistic Truth Values and
Flexible Database Querying},
booktitle = {Flexible Query Answering Systems, 5th International Conference, {FQAS}
2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2522},
pages = {344--355},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36109-X\_27},
doi = {10.1007/3-540-36109-X\_27},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fqas/TreCVH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/RasgaSSV02,
author = {Jo{\~{a}}o Rasga and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas and
Luca Vigan{\`{o}}},
editor = {Alessandro Armando},
title = {Labelled Deduction over Algebras of Truth-Values},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {222--238},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_18},
doi = {10.1007/3-540-45988-X\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/RasgaSSV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/KikuchiT02,
author = {Hiroaki Kikuchi and
Noboru Takagi},
title = {de Morgan Bisemilattice of Fuzzy Truth Value},
booktitle = {32nd {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
2002), May 15-18, 2002, Boston, Massachusetts, {USA}},
pages = {180--184},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISMVL.2002.1011087},
doi = {10.1109/ISMVL.2002.1011087},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/KikuchiT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Beziau02,
author = {Jean{-}Yves B{\'{e}}ziau},
editor = {Ruy J. G. B. de Queiroz and
Luiz Carlos Pereira and
Edward Hermann Haeusler},
title = {Non Truth-Functional Many-Valuedness},
booktitle = {9th Workhop on Logic, Language, Information and Computation, WoLLIC
2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {67},
pages = {116--130},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80544-9},
doi = {10.1016/S1571-0661(04)80544-9},
timestamp = {Mon, 05 Dec 2022 16:07:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Beziau02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ShramkoDT01,
author = {Yaroslav Shramko and
J. Michael Dunn and
Tatsutoshi Takenaka},
title = {The Trilattice of Constructive Truth Values},
journal = {J. Log. Comput.},
volume = {11},
number = {6},
pages = {761--788},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.6.761},
doi = {10.1093/LOGCOM/11.6.761},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ShramkoDT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/TakagiKN01,
author = {Noboru Takagi and
Hiroaki Kikuchi and
Kyoichi Nakashima},
title = {Multi-Interval Truth Valued Logic},
booktitle = {Proceedings of the 10th {IEEE} International Conference on Fuzzy Systems,
Melbourne, Australia, December 2-5, 2001},
pages = {1119--1122},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/FUZZ.2001.1008851},
doi = {10.1109/FUZZ.2001.1008851},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/fuzzIEEE/TakagiKN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/phaunRS01/MateescuS01,
author = {Alexandru Mateescu and
Arto Salomaa},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Many-Valued Truth Functions, Cernys' Conjecture, and Road Coloring},
booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th
Century},
pages = {693--707},
publisher = {World Scientific},
year = {2001},
timestamp = {Sat, 03 Aug 2019 22:52:51 +0200},
biburl = {https://dblp.org/rec/books/ws/phaunRS01/MateescuS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Entemann00,
author = {Carl W. Entemann},
title = {A fuzzy logic with interval truth values},
journal = {Fuzzy Sets Syst.},
volume = {113},
number = {2},
pages = {161--183},
year = {2000},
url = {https://doi.org/10.1016/S0165-0114(98)00101-8},
doi = {10.1016/S0165-0114(98)00101-8},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Entemann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/TakagiN00,
author = {Noboru Takagi and
Kyoichi Nakashima},
title = {Discrete Interval Truth Values Logic and Its Application},
journal = {{IEEE} Trans. Computers},
volume = {49},
number = {3},
pages = {219--229},
year = {2000},
url = {https://doi.org/10.1109/12.841126},
doi = {10.1109/12.841126},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/TakagiN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/TakagiN00,
author = {Noboru Takagi and
Kyoichi Nakashima},
title = {Some Properties of Discrete Interval Truth Valued Logic},
booktitle = {30th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2000, Portland, Oregon, USA, May 23-25, 2000, Proceedings},
pages = {101--106},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ISMVL.2000.848606},
doi = {10.1109/ISMVL.2000.848606},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/TakagiN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/MateescuS99,
author = {Alexandru Mateescu and
Arto Salomaa},
title = {Many-Valued Truth Functions, Cerny's Conjecture and Road Coloring},
journal = {Bull. {EATCS}},
volume = {68},
pages = {134--150},
year = {1999},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/MateescuS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/WangH99a,
author = {Xiaoxing Wang and
Xiheng Hu},
title = {Approximate reasoning based on linguistic truth value with {\(\alpha\)}-operator},
journal = {Fuzzy Sets Syst.},
volume = {105},
number = {3},
pages = {401--407},
year = {1999},
url = {https://doi.org/10.1016/S0165-0114(97)00242-X},
doi = {10.1016/S0165-0114(97)00242-X},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/WangH99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KoutrasKZ99,
author = {Costas D. Koutras and
George Koletsos and
Stathis Zachos},
title = {Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets
and Logics with Linear Truth Spaces},
journal = {Fundam. Informaticae},
volume = {38},
number = {3},
pages = {281--324},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-38303},
doi = {10.3233/FI-1999-38303},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KoutrasKZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/EmotoM99,
author = {Masashi Emoto and
Masao Mukaidono},
title = {Necessary and Sufficient Conditions for fuzzy Truth Values to Form
a de Morgan Algebra},
journal = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
volume = {7},
number = {4},
pages = {309--316},
year = {1999},
url = {https://doi.org/10.1142/S021848859900026X},
doi = {10.1142/S021848859900026X},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijufks/EmotoM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Johnson99a,
author = {Frederick A. Johnson},
title = {Rejection and Truth-Value Gaps},
journal = {Notre Dame J. Formal Log.},
volume = {40},
number = {4},
pages = {574--577},
year = {1999},
url = {https://doi.org/10.1305/ndjfl/1012429721},
doi = {10.1305/NDJFL/1012429721},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Johnson99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Leitgeb99,
author = {Hannes Leitgeb},
title = {Truth and the Liar in De Morgan-Valued Models},
journal = {Notre Dame J. Formal Log.},
volume = {40},
number = {4},
pages = {496--514},
year = {1999},
url = {https://doi.org/10.1305/ndjfl/1012429715},
doi = {10.1305/NDJFL/1012429715},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Leitgeb99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/Mukaidono99,
author = {Masao Mukaidono},
editor = {Zbigniew W. Ras and
Andrzej Skowron},
title = {Several Extensions of Truth Values in Fuzzy Logic},
booktitle = {Foundations of Intelligent Systems, 11th International Symposium,
{ISMIS} '99, Warsaw, Poland, June 8-11, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1609},
pages = {282--291},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/BFb0095114},
doi = {10.1007/BFB0095114},
timestamp = {Sat, 19 Oct 2019 20:13:57 +0200},
biburl = {https://dblp.org/rec/conf/ismis/Mukaidono99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Lukasiewicz99,
author = {Thomas Lukasiewicz},
title = {Probabilistic and Truth-Functional Many-Valued Logic Programming},
booktitle = {29th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
1999, Freiburg im Breisgau, Germany, May 20-22, 1999, Proceedings},
pages = {236--241},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ISMVL.1999.779722},
doi = {10.1109/ISMVL.1999.779722},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Lukasiewicz99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/LascioG98,
author = {Luigi Di Lascio and
Antonio Gisolfi},
title = {Averaging linguistic truth values in fuzzy approximate reasoning},
journal = {Int. J. Intell. Syst.},
volume = {13},
number = {4},
pages = {301--318},
year = {1998},
url = {https://doi.org/10.1002/(SICI)1098-111X(199804)13:4\<301::AID-INT1\>3.0.CO;2-R},
doi = {10.1002/(SICI)1098-111X(199804)13:4\<301::AID-INT1\>3.0.CO;2-R},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/LascioG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/BugarinB98,
author = {Alberto Bugar{\'{\i}}n and
Sen{\'{e}}n Barro},
title = {Reasoning with truth values on compacted fuzzy chained rules},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
volume = {28},
number = {1},
pages = {34--46},
year = {1998},
url = {https://doi.org/10.1109/3477.658576},
doi = {10.1109/3477.658576},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/BugarinB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/MantarasG97,
author = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Llu{\'{\i}}s Godo},
title = {From Intervals to Fuzzy Truth-Values: Adding Flexibility to Reasoning
Under Uncertainty},
journal = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
volume = {5},
number = {3},
pages = {251--260},
year = {1997},
url = {https://doi.org/10.1142/S0218488597000233},
doi = {10.1142/S0218488597000233},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijufks/MantarasG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/Ying95a,
author = {Mingsheng Ying},
title = {Institutions of variable truth values: An approach in the ordered
style},
journal = {J. Comput. Sci. Technol.},
volume = {10},
number = {3},
pages = {267--273},
year = {1995},
url = {https://doi.org/10.1007/BF02943494},
doi = {10.1007/BF02943494},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/Ying95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gargov95,
author = {George Gargov},
title = {An Approach to Uncertainty via Sets of Truth Values},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {2},
pages = {235--268},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040248457},
doi = {10.1305/NDJFL/1040248457},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gargov95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Mundici95,
author = {Daniele Mundici},
title = {Averaging the truth-value in Lukasiewicz logic},
journal = {Stud Logica},
volume = {55},
number = {1},
pages = {113--127},
year = {1995},
url = {https://doi.org/10.1007/BF01053035},
doi = {10.1007/BF01053035},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Mundici95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/EstevaGG94,
author = {Francesc Esteva and
Pere Garcia{-}Calv{\'{e}}s and
Llu{\'{\i}}s Godo},
title = {Enriched Interval Bilattices and Partial Many-Valued Logics: an Approach
to Deal with Graded Truth and Imprecision},
journal = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
volume = {2},
number = {1},
pages = {37--54},
year = {1994},
url = {https://doi.org/10.1142/S0218488594000055},
doi = {10.1142/S0218488594000055},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijufks/EstevaGG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/Lui94,
author = {Ho{-}Chung Lui},
title = {Adaptive Truth Valued Flow Inference},
journal = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
volume = {2},
number = {3},
pages = {279--286},
year = {1994},
url = {https://doi.org/10.1142/S0218488594000225},
doi = {10.1142/S0218488594000225},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijufks/Lui94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/UeharaF93a,
author = {Kiyohiko Uehara and
Masayuki Fujise},
title = {Multistage fuzzy inference formulated as linguistic-truth-value propagation
and its learning algorithm based on back-propagating error information},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {1},
number = {3},
pages = {205--221},
year = {1993},
url = {https://doi.org/10.1109/91.236553},
doi = {10.1109/91.236553},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/UeharaF93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ying92a,
author = {Mingsheng Ying},
title = {Compactness, the L{\"{o}}Wenheim-Skolem Property and the Direct
Product of Lattices of Truth Values},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {521--524},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380147},
doi = {10.1002/MALQ.19920380147},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ying92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/Gessert91,
author = {G. H. Gessert},
title = {Handling Missing Data by Using Stored Truth Values},
journal = {{SIGMOD} Rec.},
volume = {20},
number = {3},
pages = {30--42},
year = {1991},
url = {https://doi.org/10.1145/126482.126486},
doi = {10.1145/126482.126486},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/Gessert91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Mukaidono91,
author = {Masao Mukaidono},
editor = {Dimiter Driankov and
Peter W. Eklund and
Anca L. Ralescu},
title = {Algebraic Structures of Truth Values in Fuzzy Logic},
booktitle = {Fuzzy Logic and Fuzzy Control, {IJCAI} '91, Workshops on Fuzzy Logic
and Fuzzy Control, Sydney, Australia, August 24, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {833},
pages = {15--21},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-58279-7\_15},
doi = {10.1007/3-540-58279-7\_15},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Mukaidono91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MorishitaNH87,
author = {Shinichi Morishita and
Masayuki Numao and
Shin'ichi Hirose},
editor = {Jean{-}Louis Lassez},
title = {Symbolical Construction of Truth Value Domain for Logic Program},
booktitle = {Logic Programming, Proceedings of the Fourth International Conference,
Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)},
pages = {533--555},
publisher = {{MIT} Press},
year = {1987},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MorishitaNH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Segerberg83,
author = {Krister Segerberg},
title = {Arbitrary Truth-Value Functions and Natural Deduction},
journal = {Math. Log. Q.},
volume = {29},
number = {11},
pages = {557--564},
year = {1983},
url = {https://doi.org/10.1002/malq.19830291102},
doi = {10.1002/MALQ.19830291102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Segerberg83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Paulos81,
author = {John A. Paulos},
title = {Probabilistic, truth-value, and standard semantics and the primacy
of predicate logic},
journal = {Notre Dame J. Formal Log.},
volume = {22},
number = {1},
pages = {11--16},
year = {1981},
url = {https://doi.org/10.1305/ndjfl/1093883335},
doi = {10.1305/NDJFL/1093883335},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Paulos81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/DerusH79a,
author = {Kenneth H. Derus and
John C. Hansen},
title = {Propositions with multiple dispositions and multiple truth values},
journal = {{SIGACT} News},
volume = {11},
number = {2},
pages = {30--35},
year = {1979},
url = {https://doi.org/10.1145/1008620.1008623},
doi = {10.1145/1008620.1008623},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/DerusH79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/GotoKN78,
author = {Motinori Goto and
Shinji Kao and
Tomoko Ninomiya},
title = {Determination of the fittest number of truth-values and canonical
forms of logical functions for a many-valued axiom set by a computer},
booktitle = {Proceedings of the eighth international symposium on Multiple-valued
logic, {MVL} 1978, Rosemont, Illinois, USA, 1978},
pages = {195--201},
publisher = {{IEEE} Computer Society Press},
year = {1978},
url = {http://dl.acm.org/citation.cfm?id=804206},
timestamp = {Mon, 09 Aug 2021 11:27:20 +0200},
biburl = {https://dblp.org/rec/conf/ismvl/GotoKN78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigapl/MacKenzie76,
author = {Nollaig MacKenzie},
title = {{RECUR:} a program for Quinian truth-value analysis},
journal = {{ACM} {SIGAPL} {APL} Quote Quad},
volume = {6},
number = {4},
pages = {26--28},
year = {1976},
url = {https://doi.org/10.1145/585956.585962},
doi = {10.1145/585956.585962},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigapl/MacKenzie76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Themaat75,
author = {W. A. Verloren van Themaat},
title = {The confiramtion of sentences by instances with different truth-values
of its atoms},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {421--424},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891808},
doi = {10.1305/NDJFL/1093891808},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Themaat75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Leblanc71,
author = {Hugues Leblanc},
title = {Truth-value semantics for a logic of existence},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {2},
pages = {153--168},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894214},
doi = {10.1305/NDJFL/1093894214},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Leblanc71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Horn69,
author = {Alfred Horn},
title = {Logic with Truth Values in a Linearly Ordered Heyting Algebra},
journal = {J. Symb. Log.},
volume = {34},
number = {3},
pages = {395--408},
year = {1969},
url = {https://doi.org/10.2307/2270905},
doi = {10.2307/2270905},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Horn69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Graham67,
author = {Ronald L. Graham},
title = {On n-Valued Functionally Complete Truth Functions},
journal = {J. Symb. Log.},
volume = {32},
number = {2},
pages = {190--195},
year = {1967},
url = {https://doi.org/10.2307/2271656},
doi = {10.2307/2271656},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Graham67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Caton63,
author = {Charles E. Caton},
title = {A stipulation of a modal propositional calculus in terms of modalized
truth-values},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {3},
pages = {224--226},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957580},
doi = {10.1305/NDJFL/1093957580},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Caton63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Saito63,
author = {Setsuo Saito},
title = {Truth value assignment in predicate calculus of first order},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {3},
pages = {216--223},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957579},
doi = {10.1305/NDJFL/1093957579},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Saito63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kalicki50a,
author = {Jan Kalicki},
title = {A Test for the Existence of Tautologies According to Many-Valued Truth-Tables},
journal = {J. Symb. Log.},
volume = {15},
number = {3},
pages = {182--184},
year = {1950},
url = {https://doi.org/10.2307/2266783},
doi = {10.2307/2266783},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kalicki50a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-28 00:19 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
