×

zbMATH — the first resource for mathematics

Zamansky, Anna

Compute Distance To:
Author ID: zamansky.anna Recent zbMATH articles by "Zamansky, Anna"
Published as: Zamansky, Anna; Zamansky, A.
Documents Indexed: 41 Publications since 2006, including 1 Book

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 106 times in 72 Documents Cited by Year
Ideal paraconsistent logics. Zbl 1248.03046
Arieli, O.; Avron, A.; Zamansky, A.
19
2011
Maximal and premaximal paraconsistency in the framework of three-valued semantics. Zbl 1256.03030
Arieli, Ofer; Avron, Arnon; Zamansky, Anna
12
2011
Cut-free sequent calculi for C-systems with generalized finite-valued semantics. Zbl 1267.03032
Avron, Arnon; Konikowska, Beata; Zamansky, Anna
10
2013
Many-valued non-deterministic semantics for first-order logics of formal (in)consistency. Zbl 1122.03027
Avron, Arnon; Zamansky, Anna
7
2007
Automated support for the investigation of paraconsistent and other logics. Zbl 1432.68546
Ciabattoni, Agata; Lahav, Ori; Spendier, Lara; Zamansky, Anna
6
2013
Theory of effective propositional paraconsistent logics. Zbl 1448.03001
Avron, Arnon; Arieli, Ofer; Zamansky, Anna
5
2018
Efficient reasoning with inconsistent information using C-systems. Zbl 1360.68827
Avron, Arnon; Konikowska, Beata; Zamansky, Anna
5
2015
Finite-valued semantics for canonical labelled calculi. Zbl 1314.03016
Baaz, Matthias; Lahav, Ori; Zamansky, Anna
5
2013
Modular construction of cut-free sequent calculi for paraconsistent logics. Zbl 1364.03043
Avron, Arnon; Konikowska, Beata; Zamansky, Anna
4
2012
Reasoning with graded information: the case of diagnostic rating scales in healthcare. Zbl 1374.68572
Vetterlein, Thomas; Zamansky, Anna
3
2016
Canonical calculi with \((n,k)\)-ary quantifiers. Zbl 1151.03028
Avron, Arnon; Zamansky, Anna
3
2008
A ‘natural logic’ inference system using the Lambek calculus. Zbl 1129.03013
Zamansky, Anna; Francez, Nissim; Winter, Yoad
3
2006
Canonical signed calculi, non-deterministic matrices and cut-elimination. Zbl 1211.03086
Avron, Arnon; Zamansky, Anna
3
2009
Canonical calculi: invertibility, axiom expansion and (non)-determinism. Zbl 1248.03075
Avron, Arnon; Ciabattoni, Agata; Zamansky, Anna
3
2009
Simplified forms of computerized reasoning with distance semantics. Zbl 1216.68254
Arieli, Ofer; Zamansky, Anna
2
2011
A graded approach to database repair by context-aware distance semantics. Zbl 1374.68550
Arieli, Ofer; Zamansky, Anna
2
2016
Cut-elimination and quantification in canonical systems. Zbl 1097.03050
Zamansky, Anna; Avron, Arnon
2
2006
Effective non-deterministic semantics for first-order LFIs. Zbl 1139.03019
Zamansky, Anna; Avron, Arnon
2
2007
Effective finite-valued semantics for labelled calculi. Zbl 1358.03018
Baaz, Matthias; Lahav, Ori; Zamansky, Anna
2
2012
Similarity-based inconsistency-tolerant logics. Zbl 1306.68179
Arieli, Ofer; Zamansky, Anna
2
2010
Distance-based non-deterministic semantics for reasoning with uncertainty. Zbl 1168.68042
Arieli, Ofer; Zamansky, Anna
2
2009
Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi. Zbl 06623281
Zohar, Yoni; Zamansky, Anna
1
2016
A dissimilarity-based framework for generating inconsistency-tolerant logics. Zbl 1319.68207
Arieli, Ofer; Zamansky, Anna
1
2015
Generalized non-deterministic matrices and \((n,k)\)-ary quantifiers. Zbl 1132.03342
Avron, Arnon; Zamansky, Anna
1
2007
Reasoning with uncertainty by Nmatrix-metric semantics. Zbl 1156.68046
Arieli, Ofer; Zamansky, Anna
1
2008
Theory of effective propositional paraconsistent logics. Zbl 1448.03001
Avron, Arnon; Arieli, Ofer; Zamansky, Anna
5
2018
Reasoning with graded information: the case of diagnostic rating scales in healthcare. Zbl 1374.68572
Vetterlein, Thomas; Zamansky, Anna
3
2016
A graded approach to database repair by context-aware distance semantics. Zbl 1374.68550
Arieli, Ofer; Zamansky, Anna
2
2016
Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi. Zbl 06623281
Zohar, Yoni; Zamansky, Anna
1
2016
Efficient reasoning with inconsistent information using C-systems. Zbl 1360.68827
Avron, Arnon; Konikowska, Beata; Zamansky, Anna
5
2015
A dissimilarity-based framework for generating inconsistency-tolerant logics. Zbl 1319.68207
Arieli, Ofer; Zamansky, Anna
1
2015
Cut-free sequent calculi for C-systems with generalized finite-valued semantics. Zbl 1267.03032
Avron, Arnon; Konikowska, Beata; Zamansky, Anna
10
2013
Automated support for the investigation of paraconsistent and other logics. Zbl 1432.68546
Ciabattoni, Agata; Lahav, Ori; Spendier, Lara; Zamansky, Anna
6
2013
Finite-valued semantics for canonical labelled calculi. Zbl 1314.03016
Baaz, Matthias; Lahav, Ori; Zamansky, Anna
5
2013
Modular construction of cut-free sequent calculi for paraconsistent logics. Zbl 1364.03043
Avron, Arnon; Konikowska, Beata; Zamansky, Anna
4
2012
Effective finite-valued semantics for labelled calculi. Zbl 1358.03018
Baaz, Matthias; Lahav, Ori; Zamansky, Anna
2
2012
Ideal paraconsistent logics. Zbl 1248.03046
Arieli, O.; Avron, A.; Zamansky, A.
19
2011
Maximal and premaximal paraconsistency in the framework of three-valued semantics. Zbl 1256.03030
Arieli, Ofer; Avron, Arnon; Zamansky, Anna
12
2011
Simplified forms of computerized reasoning with distance semantics. Zbl 1216.68254
Arieli, Ofer; Zamansky, Anna
2
2011
Similarity-based inconsistency-tolerant logics. Zbl 1306.68179
Arieli, Ofer; Zamansky, Anna
2
2010
Canonical signed calculi, non-deterministic matrices and cut-elimination. Zbl 1211.03086
Avron, Arnon; Zamansky, Anna
3
2009
Canonical calculi: invertibility, axiom expansion and (non)-determinism. Zbl 1248.03075
Avron, Arnon; Ciabattoni, Agata; Zamansky, Anna
3
2009
Distance-based non-deterministic semantics for reasoning with uncertainty. Zbl 1168.68042
Arieli, Ofer; Zamansky, Anna
2
2009
Canonical calculi with \((n,k)\)-ary quantifiers. Zbl 1151.03028
Avron, Arnon; Zamansky, Anna
3
2008
Reasoning with uncertainty by Nmatrix-metric semantics. Zbl 1156.68046
Arieli, Ofer; Zamansky, Anna
1
2008
Many-valued non-deterministic semantics for first-order logics of formal (in)consistency. Zbl 1122.03027
Avron, Arnon; Zamansky, Anna
7
2007
Effective non-deterministic semantics for first-order LFIs. Zbl 1139.03019
Zamansky, Anna; Avron, Arnon
2
2007
Generalized non-deterministic matrices and \((n,k)\)-ary quantifiers. Zbl 1132.03342
Avron, Arnon; Zamansky, Anna
1
2007
A ‘natural logic’ inference system using the Lambek calculus. Zbl 1129.03013
Zamansky, Anna; Francez, Nissim; Winter, Yoad
3
2006
Cut-elimination and quantification in canonical systems. Zbl 1097.03050
Zamansky, Anna; Avron, Arnon
2
2006
all top 5

Cited by 89 Authors

16 Zamansky, Anna
12 Avron, Arnon
10 Arieli, Ofer
5 Ciabattoni, Agata
5 Lahav, Ori
5 Zohar, Yoni
4 Kamide, Norihiro
4 Omori, Hitoshi
4 Osorio, Mauricio A.
3 Marcos, João
3 Wansing, Heinrich Theodor
2 Caleiro, Carlos
2 Carballido, José Luis
2 Carnielli, Walter Alexandre
2 D’Agostino, Marcello
2 Francez, Nissim
2 Hernández-Tello, Alejandro
2 Pérez-Gaspar, Miguel
2 Přenosil, Adam
2 Strasser, Christian
2 Zepeda, Claudia
1 Agudelo, Juan C.
1 Aguirre-Cipe, Iván
1 Arrazola Ramírez, José Ramón Enrique
1 Baaz, Matthias
1 Běhounek, Libor
1 Bongini, Mattia
1 Borg, Annemarie
1 Borja Macías, Verónica
1 Caminada, Martin W. A.
1 Castellanos, José Abel
1 Chakraborty, Mihir Kumar
1 Chalco-Cano, Yurilev
1 Ciucci, Davide
1 Cobreros, Pablo
1 Coniglio, Marcelo Esteban
1 Costa, T. M.
1 Daňková, Martina
1 De Bona, Glauber
1 De, Michael
1 Dodó, Adriano
1 Dubois, Didier
1 Égré, Paul
1 Ertola, Rodolfo C.
1 Esteva, Francesc
1 Fermüller, Christian G.
1 Figallo Orellano, Aldo
1 Finger, Marcelo
1 Flaminio, Tommaso
1 Flores-Franulic, A.
1 Gabbay, Dov M.
1 Gentilini, Paolo
1 Girard, Patrick R.
1 Godo, Lluís
1 Hofer, Matthias F. J.
1 Hunter, Anthony
1 Icard, Thomas F. III
1 Kaminsky, Michael
1 Konikowska, Beata
1 Lellmann, Björn
1 Li, Jing
1 Montagna, Franco
1 Moss, Lawrence S.
1 Noguera, Carles
1 Odintsov, Sergei P.
1 Osorio Galindo, Mauricio
1 Petrukhin, Yaroslav Igorevich
1 Pigozzi, Gabriella
1 Podiacki, Rodrigo
1 Pulcini, Gabriele
1 Ramanayake, Revantha
1 Ripley, David
1 Rodrigues, Tarcísio
1 Shangin, Vasily
1 Spendier, Lara
1 Tanaka, Koji
1 Tarafder, Sourav
1 Trybus, Adam
1 Tsoukiàs, Alexis
1 van Rooy, Robert
1 Varzi, Achille C.
1 Viappiani, Paolo
1 Viganò, Luca
1 Volpe, Marco
1 Wang, Guixiang
1 Waragai, Toshiharu
1 Winter, Yoad
1 Woltzenlogel Paleo, Bruno
1 Yuan, Fang

Citations by Year